src/Pure/ROOT.ML
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;
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;
Sat, 14 Nov 2015 08:45:51 +0100 haftmann separate ML module for interpretation
Tue, 10 Nov 2015 21:31:14 +0100 wenzelm clarified modules;
Tue, 03 Nov 2015 13:54:34 +0100 wenzelm clarified modules;
Thu, 15 Oct 2015 17:29:37 +0200 wenzelm load markdown.ML into Pure;
Fri, 25 Sep 2015 20:37:59 +0200 wenzelm moved remaining display.ML to more_thm.ML;
Thu, 24 Sep 2015 23:33:29 +0200 wenzelm more explicit Defs.context: use proper name spaces as far as possible;
Mon, 17 Aug 2015 23:45:12 +0200 wenzelm basic setup for native Windows (RAW session without image);
Mon, 17 Aug 2015 21:32:41 +0200 wenzelm no ML_debugger support in Pure -- too complicated;
Mon, 17 Aug 2015 21:22:55 +0200 wenzelm more careful propagation of ML_debugger option to Pure;
Mon, 17 Aug 2015 19:34:15 +0200 wenzelm support for ML files with/without debugger information;
Mon, 17 Aug 2015 16:27:12 +0200 wenzelm explicit debug flag for ML compiler;
Sat, 15 Aug 2015 19:42:35 +0200 wenzelm clarified context;
Wed, 12 Aug 2015 01:39:31 +0200 wenzelm default ML context for forks, e.g. relevant for debugging and toplevel pretty-printing;
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;
Wed, 14 Jan 2015 11:52:08 +0100 wenzelm added Path.decode in ML, in correspondence to Path.encode in Scala;
Tue, 30 Dec 2014 23:45:03 +0100 wenzelm explicit message channel for "legacy", which is nonetheless a variant of "warning";
Mon, 29 Dec 2014 15:38:59 +0100 wenzelm more toplevel pretty printing;
Mon, 22 Dec 2014 14:33:53 +0100 wenzelm separate module Random;
Wed, 03 Dec 2014 22:34:28 +0100 wenzelm node-specific keywords, with session base syntax as default;
Sun, 30 Nov 2014 12:24:56 +0100 wenzelm more abstract type Input.source;
Wed, 26 Nov 2014 11:43:51 +0100 wenzelm load simple_thread.ML later, such that it benefits from redefined print_exception_trace;
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;
Wed, 05 Nov 2014 20:20:57 +0100 wenzelm explicit type Keyword.keywords;
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);
Fri, 22 Aug 2014 12:05:47 +0200 wenzelm clarified ML toplevel pp: avoid ML output to be attached to inlined binding positions;
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;
Wed, 13 Aug 2014 13:30:28 +0200 wenzelm load local_theory.ML before attrib.ML, with subtle change of semantics due to canonical Local_Theory.map_contexts instead of private Local_Theory.map_top;
Tue, 12 Aug 2014 00:08:32 +0200 wenzelm separate module Command_Span: mostly syntactic representation;
Thu, 24 Jul 2014 15:54:56 +0200 wenzelm further distinction of Isabelle distribution: alert for identified release candidates;
Sun, 06 Apr 2014 16:36:28 +0200 wenzelm more source positions;
Sun, 06 Apr 2014 15:19:22 +0200 wenzelm clarified ML bootstrap;
Thu, 27 Mar 2014 17:12:40 +0100 wenzelm clarified Isabelle/ML bootstrap, such that Execution does not require ML_Compiler;
Wed, 26 Mar 2014 09:19:04 +0100 wenzelm tuned comments;
Wed, 26 Mar 2014 09:13:38 +0100 wenzelm tuned load order;
Tue, 25 Mar 2014 19:03:02 +0100 wenzelm proper configuration option "ML_print_depth";
Thu, 20 Mar 2014 19:24:51 +0100 wenzelm tuned error, according to "use" in General/secure.ML;
Tue, 18 Mar 2014 18:09:31 +0100 wenzelm clarified module arrangement;
Tue, 18 Mar 2014 17:39:03 +0100 wenzelm clarifed module name;
Tue, 18 Mar 2014 16:44:51 +0100 wenzelm clarified module arrangement;
Tue, 18 Mar 2014 16:16:28 +0100 wenzelm clarified modules;
Tue, 18 Mar 2014 13:36:28 +0100 wenzelm clarified bootstrap process: switch to ML with context and antiquotations earlier;
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;
Mon, 10 Feb 2014 22:39:04 +0100 wenzelm seal system channels at end of Pure bootstrap -- Isabelle/Scala provides official interfaces;
Sat, 25 Jan 2014 18:34:05 +0100 wenzelm prefer self-contained user-space tool;
less more (0) -300 -100 -60 tip