src/Tools/jEdit/src/token_markup.scala
Sat, 18 Jun 2011 17:33:27 +0200 wenzelm basic support for extended syntax styles: sub/superscript;
Sat, 18 Jun 2011 15:32:05 +0200 wenzelm tuned signature;
Sat, 18 Jun 2011 11:22:03 +0200 wenzelm simplified Line_Context (again);
Thu, 16 Jun 2011 23:16:06 +0200 wenzelm more precise imitatation of original TokenMarker: no locking, interned context etc.;
Thu, 16 Jun 2011 22:05:40 +0200 wenzelm static token markup, based on outer syntax only;
less more (0) tip