| Mon, 30 Jul 2012 14:38:45 +0200 | wenzelm | misc tuning; | changeset | files |
| Mon, 30 Jul 2012 14:29:12 +0200 | wenzelm | discontinued unused isabelle jedit debugger; | changeset | files |
| Mon, 30 Jul 2012 14:11:29 +0200 | wenzelm | more uniform usage of "isabelle tool"; | changeset | files |
| Mon, 30 Jul 2012 13:48:56 +0200 | wenzelm | less verbosity; | changeset | files |