| Mon, 16 Mar 2015 11:30:54 +0100 |
wenzelm |
tuned protocol -- resolve command positions in ML;
|
file |
diff |
annotate
|
| Thu, 29 Jan 2015 16:16:01 +0100 |
wenzelm |
tuned bootstrap;
|
file |
diff |
annotate
|
| Mon, 22 Dec 2014 14:33:53 +0100 |
wenzelm |
separate module Random;
|
file |
diff |
annotate
|
| Sun, 30 Nov 2014 12:24:56 +0100 |
wenzelm |
more abstract type Input.source;
|
file |
diff |
annotate
|
| Fri, 21 Nov 2014 18:14:39 +0100 |
wenzelm |
removed some add-ons from modules that are relevant for the inference kernel;
|
file |
diff |
annotate
|
| Fri, 07 Nov 2014 16:36:55 +0100 |
wenzelm |
plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 16:03:45 +0100 |
wenzelm |
discontinued Isar TTY loop;
|
file |
diff |
annotate
|
| Fri, 31 Oct 2014 11:18:17 +0100 |
wenzelm |
discontinued Proof General;
|
file |
diff |
annotate
|
| Mon, 13 Oct 2014 20:51:48 +0200 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| Mon, 13 Oct 2014 19:34:10 +0200 |
wenzelm |
clarified load order;
|
file |
diff |
annotate
|
| Mon, 29 Sep 2014 09:57:34 +0200 |
wenzelm |
pro-forma support for polyml-5.5.3 (presently SVN 1960);
|
file |
diff |
annotate
|
| Tue, 19 Aug 2014 18:11:04 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 14 Aug 2014 10:48:40 +0200 |
wenzelm |
tuned signature -- prefer self-contained user-space tool;
|
file |
diff |
annotate
|
| Tue, 12 Aug 2014 00:08:32 +0200 |
wenzelm |
separate module Command_Span: mostly syntactic representation;
|
file |
diff |
annotate
|
| Wed, 30 Apr 2014 22:34:11 +0200 |
wenzelm |
some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 15:38:54 +0200 |
wenzelm |
approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2014 17:12:40 +0100 |
wenzelm |
clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 18:09:31 +0100 |
wenzelm |
clarified module arrangement;
|
file |
diff |
annotate
|
| Tue, 18 Mar 2014 17:39:03 +0100 |
wenzelm |
clarifed module name;
|
file |
diff |
annotate
|
| Wed, 12 Mar 2014 22:57:50 +0100 |
wenzelm |
tuned signature -- clarified module name;
|
file |
diff |
annotate
|
| Tue, 11 Mar 2014 18:26:47 +0100 |
wenzelm |
tables with changes relative to some common base version -- support for efficient join/merge of big global tables with small local updates;
|
file |
diff |
annotate
|
| Sat, 22 Feb 2014 20:52:43 +0100 |
wenzelm |
support for completion within the formal context;
|
file |
diff |
annotate
|
| Sun, 16 Feb 2014 17:25:03 +0100 |
wenzelm |
prefer user-space tool within Pure.thy;
|
file |
diff |
annotate
|
| Sat, 25 Jan 2014 18:34:05 +0100 |
wenzelm |
prefer self-contained user-space tool;
|
file |
diff |
annotate
|
| Fri, 17 Jan 2014 20:31:39 +0100 |
wenzelm |
prefer user-space tool within Pure.thy;
|
file |
diff |
annotate
|
| Thu, 12 Dec 2013 13:50:44 +0100 |
wenzelm |
simplified polyml-5.5.2 setup -- implicit upgrade of Thread.numProcessors;
|
file |
diff |
annotate
|
| Wed, 11 Dec 2013 18:02:22 +0100 |
wenzelm |
support for polml-5.5.2;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 11:08:28 +0200 |
wenzelm |
moved module into plain Isabelle/ML user space;
|
file |
diff |
annotate
|
| Mon, 26 Aug 2013 21:56:08 +0200 |
wenzelm |
added SHA1 library integrity test, which is invoked at compile time and Isabelle_Process run-time;
|
file |
diff |
annotate
|
| Thu, 08 Aug 2013 23:52:35 +0200 |
wenzelm |
removed unused YXML_Find_Theorems and Legacy_XML_Syntax;
|
file |
diff |
annotate
|