| Wed, 08 Jul 2009 13:29:42 +0200 | immler | remember removed text | changeset | files |
| Wed, 08 Jul 2009 13:29:42 +0200 | immler | insert mode isabelle into catalog | changeset | files |
| Sun, 05 Jul 2009 17:53:27 +0200 | wenzelm | updated to jedit 4.3pre17 -- no longer provide separate ml.xml; | changeset | files |