| Sat, 21 May 2011 00:01:15 +0200 | wenzelm | build and run Isabelle/jEdit on the spot -- requires auxiliary "jedit_build" component; | changeset | files |
| Sat, 21 May 2011 00:00:14 +0200 | wenzelm | misc tuning and update; | changeset | files |
| Fri, 20 May 2011 23:59:46 +0200 | wenzelm | updated versions; | changeset | files |