src/Pure/ROOT.ML
Thu, 17 Mar 2016 10:22:50 +0100 wenzelm obsolete;
Thu, 17 Mar 2016 10:21:43 +0100 wenzelm tuned signature;
Wed, 16 Mar 2016 22:06:05 +0100 wenzelm eliminated without magic name;
Thu, 10 Mar 2016 09:56:29 +0100 wenzelm clarified files;
Thu, 10 Mar 2016 09:50:53 +0100 wenzelm clarified files;
Wed, 09 Mar 2016 19:30:09 +0100 wenzelm isabelle.Build uses ML_Process directly;
Mon, 07 Mar 2016 21:53:21 +0100 wenzelm discontinued cd, pwd;
Sat, 05 Mar 2016 17:01:45 +0100 wenzelm tuned signature -- clarified modules;
Sat, 05 Mar 2016 13:51:21 +0100 wenzelm tuned signature -- clarified modules;
Thu, 03 Mar 2016 21:59:21 +0100 wenzelm discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
Thu, 03 Mar 2016 11:12:02 +0100 wenzelm discontinued polyml-5.3.0;
Wed, 02 Mar 2016 19:43:31 +0100 wenzelm support for ML_exception_debugger;
Tue, 01 Mar 2016 22:11:36 +0100 wenzelm clarified modules;
Tue, 01 Mar 2016 21:10:29 +0100 wenzelm load secure.ML earlier;
Tue, 01 Mar 2016 19:42:59 +0100 wenzelm ML debugger support in Pure (again, see 3565c9f407ec);
Sun, 28 Feb 2016 21:20:51 +0100 wenzelm support only polyml-5.3.0 and polyml-5.6;
Thu, 18 Feb 2016 23:10:28 +0100 wenzelm unconditional Multithreading;
Wed, 17 Feb 2016 23:28:58 +0100 wenzelm tuned;
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;
less more (0) -300 -100 -60 tip