Sat, 18 Jun 2011 17:33:27 +0200 | wenzelm | basic support for extended syntax styles: sub/superscript; | file | diff | annotate |
Sat, 18 Jun 2011 15:32:05 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Sat, 18 Jun 2011 11:22:03 +0200 | wenzelm | simplified Line_Context (again); | file | diff | annotate |
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 |