| Plugin Page Form | |
|---|---|
| Plugin Name?: | Jinni Console |
| Category: | Language Support |
| Maintainer: | Wolfgang Chico Toepfer? |
| Latest Version?: | 1.0 |
| Released: | June 11, 2003 |
| Where To Download: | http://plugins.jedit.org/plugins/?JinniConsole |
| Description: | This is a plugin that allows using Jinni as a console application integrated in jEdit. |
| Topic JinniConsole . { Edit | Attach | Ref-By | Printable | Diffs | r1.1 | More } |
|
Revision r1.1 - 16 Aug 2003 - 05:52 GMT - Brad Mace Parents: Web Home |
Copyright © 1999-2004 by the contributing authors.
All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding jEdit Community Wiki? Send feedback. |