| 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
|
| Wed, 28 Nov 2012 17:18:53 +0100 |
wenzelm |
some support for ML runtime statistics;
|
file |
diff |
annotate
|
| Mon, 26 Nov 2012 16:28:22 +0100 |
wenzelm |
clarified status of Legacy_XML_Syntax, despite lack of Proofterm_XML;
|
file |
diff |
annotate
|
| Sun, 25 Nov 2012 19:49:24 +0100 |
wenzelm |
Isabelle-specific implementation of quasi-abstract markup elements -- back to module arrangement before d83797ef0d2d;
|
file |
diff |
annotate
|
| Thu, 22 Nov 2012 13:21:02 +0100 |
wenzelm |
more abstract Sendback operations, with explicit id/exec_id properties;
|
file |
diff |
annotate
|
| Tue, 25 Sep 2012 15:40:41 +0200 |
wenzelm |
separate module Graph_Display;
|
file |
diff |
annotate
|
| Fri, 24 Aug 2012 11:03:52 +0200 |
wenzelm |
clarified syntax boundary cases and errors;
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 12:07:11 +0200 |
wenzelm |
clarified bootstrapping of Pure;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 17:49:56 +0200 |
wenzelm |
simplified session specifications: names are taken verbatim and current directory is default;
|
file |
diff |
annotate
|
| Wed, 08 Aug 2012 12:38:41 +0200 |
wenzelm |
simplified Pure bootstrap -- separate pure_setup.ML was required for Alice/ML at some point;
|
file |
diff |
annotate
|
| Sun, 05 Aug 2012 13:42:21 +0200 |
wenzelm |
prefer general Command_Line.tool wrapper (cf. Scala version);
|
file |
diff |
annotate
|
| Thu, 02 Aug 2012 12:36:54 +0200 |
wenzelm |
more official command specifications, including source position;
|
file |
diff |
annotate
|
| Wed, 01 Aug 2012 23:33:26 +0200 |
wenzelm |
more standard bootstrapping of Pure outer syntax;
|
file |
diff |
annotate
|
| Thu, 26 Jul 2012 14:22:37 +0200 |
wenzelm |
more files for session Pure;
|
file |
diff |
annotate
|
| Sun, 22 Jul 2012 00:00:22 +0200 |
wenzelm |
determine source dependencies, relatively to preloaded theories;
|
file |
diff |
annotate
|
| Thu, 19 Jul 2012 12:37:08 +0200 |
wenzelm |
more explicit treatment of initial Pure sessions;
|
file |
diff |
annotate
|