Sun, 19 Jun 2011 00:03:44 +0200 | wenzelm | tuned; | changeset | files |
Sat, 18 Jun 2011 23:51:22 +0200 | wenzelm | tuned markup; | changeset | files |
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; | changeset | files |
Sat, 18 Jun 2011 22:01:22 +0200 | wenzelm | proper gfx.setColor; | changeset | files |
Sat, 18 Jun 2011 21:26:47 +0200 | wenzelm | proper x1; | changeset | files |
Sat, 18 Jun 2011 21:20:22 +0200 | wenzelm | convenience functions; | changeset | files |