| Tue, 01 Jun 2010 17:27:38 +0200 | wenzelm | basic support for sub/superscript token markup -- NB: need to maintain extended token types eagerly, since jEdit occasionally reinstalls a style array that is too short; | changeset | files |
| Tue, 01 Jun 2010 13:54:33 +0200 | wenzelm | use local /home/isatest/polyml-5.3.0 on atbroy102 to avoid problems with the SMB filesystem via homebroy; | changeset | files |