Thu, 16 Jun 2011 23:16:06 +0200 | wenzelm | more precise imitatation of original TokenMarker: no locking, interned context etc.; | file | diff | annotate |
Thu, 16 Jun 2011 22:05:40 +0200 | wenzelm | static token markup, based on outer syntax only; | file | diff | annotate |