| Thu, 20 May 2010 20:22:00 +0200 | wenzelm | Isabelle_System: allow explicit isabelle_home argument; | changeset | files |
| Thu, 20 May 2010 20:20:52 +0200 | wenzelm | enable shell script editor mode; | changeset | files |
| Thu, 20 May 2010 16:25:22 +0200 | wenzelm | merged | changeset | files |