src/Tools/jEdit/src/plugin.scala
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