Sun, 19 Jun 2011 21:34:55 +0200 | wenzelm | support for bold style within text buffer; | 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 21:20:22 +0200 | wenzelm | convenience functions; | file | diff | annotate |
Sat, 18 Jun 2011 17:33:27 +0200 | wenzelm | basic support for extended syntax styles: sub/superscript; | file | diff | annotate |
Tue, 14 Jun 2011 17:24:23 +0200 | wenzelm | builtin sub/superscript styles for jedit-4.3.2; | file | diff | annotate |
Wed, 08 Jun 2011 17:42:07 +0200 | wenzelm | moved sources -- eliminated Netbeans artifact of jedit package directory; | file | diff | annotate | base |