Wed, 12 Apr 2017 22:32:55 +0200 |
wenzelm |
clarified loaded_theories: map to qualified theory name;
|
file |
diff |
annotate
|
Mon, 10 Apr 2017 16:43:12 +0200 |
wenzelm |
proper import qualifier for global theories;
|
file |
diff |
annotate
|
Sat, 08 Apr 2017 20:56:41 +0200 |
wenzelm |
more session_base information in ML;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 20:25:01 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 19:35:39 +0200 |
wenzelm |
provide session base for "isabelle build" and "isabelle console" ML process;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 11:50:49 +0200 |
wenzelm |
support for static session imports, without affect build hierarchy;
|
file |
diff |
annotate
|
Fri, 07 Apr 2017 10:47:25 +0200 |
wenzelm |
explicit Sessions.Selection;
|
file |
diff |
annotate
|
Thu, 06 Apr 2017 22:04:30 +0200 |
wenzelm |
clarified signature: tree structure is not essential;
|
file |
diff |
annotate
|
Tue, 13 Dec 2016 23:29:54 +0100 |
wenzelm |
more tight thread attributes, based in internal word arithmetic instead of symbolic datatypes: measurable performance improvement;
|
file |
diff |
annotate
|
Tue, 18 Oct 2016 16:03:30 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 15:00:46 +0200 |
wenzelm |
re-use "threads" for --gcthreads;
|
file |
diff |
annotate
|
Sat, 01 Oct 2016 23:05:25 +0200 |
wenzelm |
options for process policy, notably for multiprocessor machines;
|
file |
diff |
annotate
|
Thu, 07 Apr 2016 22:09:23 +0200 |
wenzelm |
section headings for ROOT.ML;
|
file |
diff |
annotate
|
Thu, 07 Apr 2016 16:53:43 +0200 |
wenzelm |
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
|
file |
diff |
annotate
|
Wed, 06 Apr 2016 14:08:57 +0200 |
wenzelm |
proper return code;
|
file |
diff |
annotate
|
Mon, 04 Apr 2016 20:46:39 +0200 |
wenzelm |
clarified bootstrap -- avoid conditional compilation in ROOT.ML;
|
file |
diff |
annotate
|
Sun, 03 Apr 2016 22:54:31 +0200 |
wenzelm |
prefer internal tool -- assuming that ISABELLE_TMP_PREFIX is created properly by Isabelle_System.isabelle_tmp_prefix;
|
file |
diff |
annotate
|
Sat, 26 Mar 2016 12:35:11 +0100 |
wenzelm |
clarified use of options;
|
file |
diff |
annotate
|
Sat, 26 Mar 2016 12:22:15 +0100 |
wenzelm |
avoid hardwired values;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 22:19:46 +0100 |
wenzelm |
isabelle process -T THEORY;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 21:21:09 +0100 |
wenzelm |
clarified print depth;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 17:58:19 +0100 |
wenzelm |
discontinued slightly odd "secure" mode;
|
file |
diff |
annotate
|
Thu, 17 Mar 2016 13:44:18 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 22:16:58 +0100 |
wenzelm |
pro-forma selection for improved error message;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 22:06:05 +0100 |
wenzelm |
eliminated without magic name;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 21:11:15 +0100 |
wenzelm |
isabelle process -d;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 20:50:38 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 15:08:22 +0100 |
wenzelm |
support for Poly/ML heap hierarchy, which saves a lot of disk space;
|
file |
diff |
annotate
|
Wed, 16 Mar 2016 11:45:25 +0100 |
wenzelm |
less physical "logic" argument, with option -l like "isabelle console" etc.;
|
file |
diff |
annotate
|
Tue, 15 Mar 2016 23:59:39 +0100 |
wenzelm |
find heaps uniformly via Sessions.Store;
|
file |
diff |
annotate
|
Tue, 15 Mar 2016 14:30:18 +0100 |
wenzelm |
clarified prompt: "ML" usually means Isabelle/ML;
|
file |
diff |
annotate
|
Sun, 13 Mar 2016 13:04:50 +0100 |
wenzelm |
prefer Scala over bash function;
|
file |
diff |
annotate
|
Sun, 13 Mar 2016 12:37:01 +0100 |
wenzelm |
more uniform signature for various process invocations;
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 22:51:37 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 22:02:36 +0100 |
wenzelm |
clarified cleanup;
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 21:46:31 +0100 |
wenzelm |
more thorough cleanup -- in Scala;
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 21:23:58 +0100 |
wenzelm |
create ISABELLE_TMP in Scala (despite odd/obsolete chmod in d84b4d39bce1);
|
file |
diff |
annotate
|
Sat, 12 Mar 2016 21:03:45 +0100 |
wenzelm |
obsolete (cf. 63a5782c764e);
|
file |
diff |
annotate
|
Thu, 10 Mar 2016 12:11:50 +0100 |
wenzelm |
isabelle_process is superseded by "isabelle process" tool;
|
file |
diff |
annotate
|
Thu, 10 Mar 2016 10:07:23 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
| base
|