src/Tools/jEdit/src/plugin.scala
Sat, 18 Jun 2011 17:33:27 +0200 wenzelm basic support for extended syntax styles: sub/superscript;
Tue, 14 Jun 2011 17:24:23 +0200 wenzelm builtin sub/superscript styles for jedit-4.3.2;
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip