| Tue, 12 Jan 2010 16:51:51 +0100 | wenzelm | provide JEDIT_SETTINGS via settings; | changeset | files |
| Tue, 12 Jan 2010 14:57:29 +0100 | wenzelm | updated version and dependencies; | changeset | files |
| Tue, 12 Jan 2010 13:36:01 +0100 | wenzelm | recovered subscript (cf. ded5b770ec1c); | changeset | files |
| Tue, 12 Jan 2010 09:59:45 +0100 | haftmann | formal antiquotations for ML snippets; no "open" unsynchronized references | changeset | files |