| Fri, 11 Nov 2016 11:41:14 +0100 | wenzelm | prefer raw Admin tool, without Isabelle settings environment; | changeset | files |
| Fri, 11 Nov 2016 11:30:31 +0100 | wenzelm | clarified command-line; | changeset | files |
| Fri, 11 Nov 2016 11:02:31 +0100 | wenzelm | no backup of generated stuff; | changeset | files |