| 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 |
| Fri, 11 Nov 2016 10:46:46 +0100 | wenzelm | more precise environment (for Windows); | changeset | files |
| Thu, 10 Nov 2016 23:56:06 +0100 | wenzelm | proper shell_path for msys inside cygwin; | changeset | files |
| Thu, 10 Nov 2016 23:34:49 +0100 | wenzelm | support other bash executable (notably for msys on Windows); | changeset | files |
| Thu, 10 Nov 2016 22:54:46 +0100 | wenzelm | proper options; | changeset | files |