| Sat, 01 Dec 2012 23:55:38 +0100 | blanchet | proper quoting of paths in MaSh | changeset | files |
| Sat, 01 Dec 2012 22:47:03 +0100 | wenzelm | updated to jedit_build-20121201 (based on jedit-5.0.0); | changeset | files |
| Sat, 01 Dec 2012 22:42:54 +0100 | wenzelm | moved isabelle shortcuts to main jEdit.props, in order to have them migrated to the "imported" keymap; | changeset | files |