| Wed, 05 Mar 2014 19:57:41 +0100 | wenzelm | tuned color (cf. jEdit FUNCTION); | changeset | files |
| Wed, 05 Mar 2014 19:52:28 +0100 | wenzelm | tuned; | changeset | files |
| Wed, 05 Mar 2014 18:26:35 +0100 | wenzelm | more markup for inner syntax class/type names (notably for completion); | changeset | files |