| Fri, 17 May 2013 20:30:04 +0200 | wenzelm | retain quick_and_dirty as-is -- no censorship; | changeset | files |
| Fri, 17 May 2013 19:11:03 +0200 | wenzelm | more system-atic options; | changeset | files |
| Fri, 17 May 2013 19:04:52 +0200 | wenzelm | added isabelle-process option -o; | changeset | files |
| Fri, 17 May 2013 18:50:55 +0200 | wenzelm | more precise "eval", cf. isabelle build; | changeset | files |
| Fri, 17 May 2013 18:39:49 +0200 | wenzelm | discontinued obsolete isabelle-process options -f and -u; | changeset | files |
| Fri, 17 May 2013 18:23:39 +0200 | wenzelm | NEWS; | changeset | files |
| Fri, 17 May 2013 18:19:42 +0200 | wenzelm | discontinued obsolete isabelle usedir, mkdir, make; | changeset | files |