2011-06-19 | wenzelm | discontinued special treatment of \<^loc> (which was original meant as workaround for "local" syntax); | changeset | files |
2011-06-19 | wenzelm | added glyphs 21e0..21e4, 21e6..21e9, 2759 from DejaVuSansMono; | changeset | files |
2011-06-19 | wenzelm | names for control symbols without "^", which is relevant for completion; | changeset | files |
2011-06-19 | wenzelm | some unicode chars for special control symbols; | changeset | files |
2011-06-18 | wenzelm | tuned; | changeset | files |
2011-06-18 | wenzelm | tuned markup; | changeset | files |
Loading... |