| 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 |
| Mon, 30 Jul 2012 13:44:40 +0200 | wenzelm | proper treatment of eof wrt. proper_input -- allow input of spaces/comments only; | changeset | files |