Sun, 19 Jun 2011 14:11:06 +0200 | wenzelm | some unicode chars for special control symbols; | file | diff | annotate |
Sat, 18 Jun 2011 23:34:34 +0200 | wenzelm | avoid setTokenMarker fluctuation on buffer reload etc. via static isabelle_token_marker, which is installed by hijacking the jEdit ModeProvider; | file | diff | annotate |
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 |