src/Pure/ROOT
Tue, 01 Mar 2016 19:42:59 +0100 wenzelm ML debugger support in Pure (again, see 3565c9f407ec);
Mon, 29 Feb 2016 15:39:17 +0100 wenzelm clarified modules;
Mon, 29 Feb 2016 15:23:13 +0100 wenzelm clarified ML heap operations;
Sun, 28 Feb 2016 21:25:55 +0100 wenzelm clarified;
Sun, 28 Feb 2016 21:20:51 +0100 wenzelm support only polyml-5.3.0 and polyml-5.6;
Tue, 23 Feb 2016 16:20:12 +0100 wenzelm support for polyml-git ec49a49972c5 (branch FixedPrecisionInt);
Thu, 18 Feb 2016 23:10:28 +0100 wenzelm unconditional Multithreading;
Wed, 17 Feb 2016 23:15:47 +0100 wenzelm clarified file names;
Wed, 17 Feb 2016 23:06:24 +0100 wenzelm SML/NJ is no longer supported;
Wed, 06 Jan 2016 10:20:33 +0100 wenzelm clarified ROOT files;
Wed, 23 Dec 2015 23:13:16 +0100 wenzelm tuned;
Wed, 23 Dec 2015 23:09:13 +0100 wenzelm clarified directory structure;
Sun, 06 Dec 2015 23:10:08 +0100 wenzelm discontinued intermediate polyml-5.5.3, assuming the coming release will be polyml-5.6;
Fri, 20 Nov 2015 21:52:05 +0100 wenzelm speculative support for polyml-5.6, according to git commit 3527f4ba7b8b;
Sun, 15 Nov 2015 11:27:55 +0100 haftmann leftover from 27ca6147e3b3
Tue, 10 Nov 2015 21:31:14 +0100 wenzelm clarified modules;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Wed, 14 Oct 2015 17:24:21 +0200 wenzelm minimal support for Markdown documents;
Fri, 25 Sep 2015 20:37:59 +0200 wenzelm moved remaining display.ML to more_thm.ML;
Thu, 20 Aug 2015 21:14:58 +0200 wenzelm clarified modules;
Mon, 17 Aug 2015 23:45:12 +0200 wenzelm basic setup for native Windows (RAW session without image);
Wed, 12 Aug 2015 21:38:39 +0200 wenzelm clarified modules;
Tue, 11 Aug 2015 22:17:19 +0200 wenzelm more accurate dependencies;
Fri, 17 Jul 2015 16:43:53 +0200 wenzelm clarified ML compiler parameters: always provide PolyML.Compiler.CPDebug, ignore global default;
Thu, 16 Jul 2015 14:40:23 +0200 wenzelm additional ML parse tree components for Poly/ML 5.5.3, or later;
Thu, 16 Jul 2015 11:10:57 +0200 wenzelm ML debugger interface;
Thu, 02 Jul 2015 12:39:08 +0200 wenzelm clarified module;
Wed, 01 Apr 2015 22:08:06 +0200 wenzelm added command 'experiment';
Mon, 16 Mar 2015 11:30:54 +0100 wenzelm tuned protocol -- resolve command positions in ML;
Thu, 29 Jan 2015 16:16:01 +0100 wenzelm tuned bootstrap;
Mon, 22 Dec 2014 14:33:53 +0100 wenzelm separate module Random;
Sun, 30 Nov 2014 12:24:56 +0100 wenzelm more abstract type Input.source;
Fri, 21 Nov 2014 18:14:39 +0100 wenzelm removed some add-ons from modules that are relevant for the inference kernel;
Fri, 07 Nov 2014 16:36:55 +0100 wenzelm plain value Keywords.keywords, which might be used outside theory for bootstrap purposes;
Fri, 31 Oct 2014 16:03:45 +0100 wenzelm discontinued Isar TTY loop;
Fri, 31 Oct 2014 11:18:17 +0100 wenzelm discontinued Proof General;
Mon, 13 Oct 2014 20:51:48 +0200 wenzelm obsolete;
Mon, 13 Oct 2014 19:34:10 +0200 wenzelm clarified load order;
Mon, 29 Sep 2014 09:57:34 +0200 wenzelm pro-forma support for polyml-5.5.3 (presently SVN 1960);
Tue, 19 Aug 2014 18:11:04 +0200 wenzelm clarified modules;
Thu, 14 Aug 2014 10:48:40 +0200 wenzelm tuned signature -- prefer self-contained user-space tool;
Tue, 12 Aug 2014 00:08:32 +0200 wenzelm separate module Command_Span: mostly syntactic representation;
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;
Sun, 06 Apr 2014 15:38:54 +0200 wenzelm approximate ML antiquotation @{here} for Isabelle/Pure bootstrap;
Thu, 27 Mar 2014 17:12:40 +0100 wenzelm clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
Tue, 18 Mar 2014 18:09:31 +0100 wenzelm clarified module arrangement;
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
Wed, 12 Mar 2014 22:57:50 +0100 wenzelm tuned signature -- clarified module name;
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;
Sat, 22 Feb 2014 20:52:43 +0100 wenzelm support for completion within the formal context;
Sun, 16 Feb 2014 17:25:03 +0100 wenzelm prefer user-space tool within Pure.thy;
Sat, 25 Jan 2014 18:34:05 +0100 wenzelm prefer self-contained user-space tool;
Fri, 17 Jan 2014 20:31:39 +0100 wenzelm prefer user-space tool within Pure.thy;
Thu, 12 Dec 2013 13:50:44 +0100 wenzelm simplified polyml-5.5.2 setup -- implicit upgrade of Thread.numProcessors;
Wed, 11 Dec 2013 18:02:22 +0100 wenzelm support for polml-5.5.2;
Wed, 18 Sep 2013 11:08:28 +0200 wenzelm moved module into plain Isabelle/ML user space;
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;
Thu, 08 Aug 2013 23:52:35 +0200 wenzelm removed unused YXML_Find_Theorems and Legacy_XML_Syntax;
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;
Thu, 01 Aug 2013 22:47:52 +0200 wenzelm exception trace for Poly/ML 5.5.1, using regular Isabelle output;
less more (0) -60 tip