| Sun, 19 Jun 2011 14:36:06 +0200 | wenzelm | added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono; | changeset | files |
| Sun, 19 Jun 2011 14:31:08 +0200 | wenzelm | names for control symbols without "^", which is relevant for completion; | changeset | files |
| Sun, 19 Jun 2011 14:11:06 +0200 | wenzelm | some unicode chars for special control symbols; | changeset | files |
| 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 |