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