| Tue, 14 Apr 2009 18:18:15 +0200 | wenzelm | more robust handling of emacs options -- this is not necessarily an Isabelle process environment yet; | changeset | files |
| Tue, 14 Apr 2009 17:47:31 +0200 | wenzelm | merged | changeset | files |
| Tue, 14 Apr 2009 17:47:24 +0200 | wenzelm | actually invoke ISABELLE_TOOL; | changeset | files |