| Mon, 29 Feb 2016 16:31:50 +0100 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 16:29:52 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 16:24:20 +0100 |
wenzelm |
proper exit as in Scala version (in contrast to a45ba78abcc1);
|
file |
diff |
annotate
|
| Mon, 29 Feb 2016 16:12:47 +0100 |
wenzelm |
save heap more directly;
|
file |
diff |
annotate
|
| Wed, 06 Jan 2016 10:20:33 +0100 |
wenzelm |
clarified ROOT files;
|
file |
diff |
annotate
|
| Wed, 23 Dec 2015 23:09:13 +0100 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
| Mon, 17 Aug 2015 23:45:12 +0200 |
wenzelm |
basic setup for native Windows (RAW session without image);
|
file |
diff |
annotate
|
| 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
|