Mon, 13 Aug 2012 19:36:34 +0200 | wenzelm | updated to jedit-4.5.2 (still unchanged); | changeset | files |
Sun, 12 Aug 2012 23:13:43 +0200 | krauss | restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself | changeset | files |
Sun, 12 Aug 2012 22:39:28 +0200 | wenzelm | tuned; | changeset | files |