| Mon, 20 May 2013 15:42:14 +0200 | wenzelm | even later Options.reset_default -- still needed for printing errors of Session.finish (e.g. via Command_Line.tool0); | file | diff | annotate |
| Fri, 17 May 2013 18:39:49 +0200 | wenzelm | discontinued obsolete isabelle-process options -f and -u; | file | diff | annotate |
| Fri, 03 Aug 2012 16:00:12 +0200 | wenzelm | more informative process exit code; | file | diff | annotate |
| Thu, 26 Jul 2012 12:59:09 +0200 | wenzelm | remove old output heaps, to ensure that result is valid wrt. check_stamps; | file | diff | annotate |
| Mon, 23 Jul 2012 15:59:14 +0200 | wenzelm | added system build mode: produce output in ISABELLE_HOME; | file | diff | annotate |
| Sat, 21 Jul 2012 12:57:31 +0200 | wenzelm | tuned -- no dependency on exit function; | file | diff | annotate |
| Fri, 20 Jul 2012 21:04:03 +0200 | wenzelm | further imitation of "usedir" shell script; | file | diff | annotate |
| Fri, 20 Jul 2012 11:46:37 +0200 | wenzelm | simplified script to build Isabelle/ML; | file | diff | annotate |