| Wed, 12 Aug 2015 21:38:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 11 Aug 2015 22:17:19 +0200 |
wenzelm |
more accurate dependencies;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 16:43:53 +0200 |
wenzelm |
clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 14:40:23 +0200 |
wenzelm |
additional ML parse tree components for Poly/ML 5.5.3, or later;
|
file |
diff |
annotate
|
| Thu, 16 Jul 2015 11:10:57 +0200 |
wenzelm |
ML debugger interface;
|
file |
diff |
annotate
|
| Thu, 02 Jul 2015 12:39:08 +0200 |
wenzelm |
clarified module;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 22:08:06 +0200 |
wenzelm |
added command 'experiment';
|
file |
diff |
annotate
|
| 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
|
| Mon, 05 Aug 2013 17:14:02 +0200 |
wenzelm |
slightly more general support for one-shot query operations via asynchronous print functions and temporary document overlay;
|
file |
diff |
annotate
|
| Thu, 01 Aug 2013 22:47:52 +0200 |
wenzelm |
exception trace for Poly/ML 5.5.1, using regular Isabelle output;
|
file |
diff |
annotate
|
| Fri, 19 Jul 2013 20:56:39 +0200 |
wenzelm |
old Poly/ML 5.3.0 cannot share the massive heap of HOL anymore (after introduction of immutable theory in 38466f4f3483);
|
file |
diff |
annotate
|
| Fri, 12 Jul 2013 11:07:02 +0200 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
| Thu, 11 Jul 2013 14:42:11 +0200 |
wenzelm |
global management of command execution fragments;
|
file |
diff |
annotate
|
| Wed, 10 Jul 2013 23:25:28 +0200 |
wenzelm |
more abstract message channel;
|
file |
diff |
annotate
|
| Fri, 05 Jul 2013 15:38:03 +0200 |
wenzelm |
explicit module Document_ID as source of globally unique identifiers across ML/Scala;
|
file |
diff |
annotate
|
| Tue, 28 May 2013 23:06:32 +0200 |
wenzelm |
explicit support for type annotations within printed syntax trees;
|
file |
diff |
annotate
|
| Fri, 17 May 2013 17:11:06 +0200 |
wenzelm |
event timer as separate service thread;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 20:39:25 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 20:34:42 +0200 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 20:22:46 +0200 |
wenzelm |
maintain ProofGeneral preferences within ProofGeneral module;
|
file |
diff |
annotate
|
| Wed, 15 May 2013 17:39:41 +0200 |
wenzelm |
just one ProofGeneral module;
|
file |
diff |
annotate
|
| Tue, 14 May 2013 21:56:19 +0200 |
wenzelm |
simplified modules and exceptions;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 21:42:27 +0200 |
wenzelm |
more direct output of remaining PGIP rudiments;
|
file |
diff |
annotate
|
| Mon, 13 May 2013 21:03:30 +0200 |
wenzelm |
removed obsolete PGIP material;
|
file |
diff |
annotate
|
| Sat, 11 May 2013 20:10:24 +0200 |
wenzelm |
removed redundant modules;
|
file |
diff |
annotate
|
| Wed, 27 Mar 2013 14:19:18 +0100 |
wenzelm |
tuned signature and module arrangement;
|
file |
diff |
annotate
|
| Mon, 11 Mar 2013 13:28:46 +0100 |
wenzelm |
support for 'chapter' specifications within session ROOT;
|
file |
diff |
annotate
|
| Wed, 16 Jan 2013 16:26:36 +0100 |
wenzelm |
more explicit treatment of (optional) exception properties, notably for "serial" -- avoid conflict with startPosition = offset;
|
file |
diff |
annotate
|
| Thu, 10 Jan 2013 12:41:53 +0100 |
wenzelm |
recovered buffered sockets from 11f622794ad6 -- requires Poly/ML 5.5.x;
|
file |
diff |
annotate
|
| Wed, 02 Jan 2013 17:58:53 +0100 |
wenzelm |
moved files;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2012 13:52:33 +0100 |
wenzelm |
generalized notion of active area, where sendback is just one application;
|
file |
diff |
annotate
|