| 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 |