src/Pure/ROOT
Tue, 23 Nov 2021 21:02:13 +0100 wenzelm example: alternative document headings, based on more general document output markup;
Sun, 26 Sep 2021 18:49:55 +0200 wenzelm improper proof command 'guess' moved to separate theory "Pure-ex.Guess";
Fri, 10 Sep 2021 22:46:41 +0200 wenzelm miscellaneous examples and experiments for Isabelle/Pure;
Fri, 10 Sep 2021 21:55:55 +0200 wenzelm tuned comments;
Mon, 08 Jun 2020 15:09:57 +0200 wenzelm clarified sessions: "Notable Examples in Isabelle/Pure";
Sun, 20 Oct 2019 21:34:29 +0200 wenzelm more robust hybrid treatment of Pure, notably for Isabelle/Dedukti;
Sun, 20 Oct 2019 16:16:23 +0200 wenzelm option to export standardized proof terms (not scalable);
Sat, 19 Oct 2019 11:29:39 +0200 wenzelm proper export of bootstrap proofs (amending a6304b4664b6);
Fri, 18 Oct 2019 22:45:09 +0200 wenzelm more robust -- avoid interference with Proofterm.proofs := 0 in ML_Bootstrap.thy;
Fri, 23 Aug 2019 15:00:19 +0200 wenzelm always export Pure proofs;
Tue, 20 Nov 2018 13:46:13 +0100 wenzelm tuned -- refining auto-update 15e9ed5b28fb;
Thu, 08 Nov 2018 22:29:09 +0100 wenzelm isabelle update_cartouches -t;
Thu, 02 Aug 2018 14:21:48 +0200 wenzelm always export Pure theory;
Sat, 16 Dec 2017 16:46:01 +0100 wenzelm PIDE markup for session ROOT files;
Wed, 12 Apr 2017 23:08:24 +0200 wenzelm more global theories;
Tue, 04 Apr 2017 21:05:07 +0200 wenzelm tuned syntax;
Thu, 20 Oct 2016 10:30:11 +0200 wenzelm more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
Sun, 10 Apr 2016 21:46:12 +0200 wenzelm more standard session build process, including browser_info;
Wed, 06 Apr 2016 14:02:12 +0200 wenzelm clarified ML bootstrap environment;
Wed, 06 Apr 2016 11:37:37 +0200 wenzelm clarified ML bootstrap;
Tue, 05 Apr 2016 21:51:14 +0200 wenzelm clarified files;
Tue, 05 Apr 2016 15:58:58 +0200 wenzelm support for ML project ROOT file, with imitation of ML "use" commands;
Tue, 05 Apr 2016 15:27:11 +0200 wenzelm read Pure file dependencies directly from ROOT.ML;
Mon, 04 Apr 2016 23:58:48 +0200 wenzelm more uniform ML file commands;
Mon, 04 Apr 2016 20:46:39 +0200 wenzelm clarified bootstrap -- avoid conditional compilation in ROOT.ML;
Mon, 04 Apr 2016 20:20:47 +0200 wenzelm clarified modules;
Mon, 04 Apr 2016 19:48:54 +0200 wenzelm clarified conditional compilation;
Mon, 04 Apr 2016 17:25:53 +0200 wenzelm clarified bootstrap -- avoid 'ML_file' in Pure.thy for uniformity;
Mon, 04 Apr 2016 17:02:34 +0200 wenzelm clarified bootstrap -- more uniform use of ML files;
Mon, 04 Apr 2016 15:53:56 +0200 wenzelm clarified final setup of ML environment;
Mon, 04 Apr 2016 15:35:24 +0200 wenzelm clarified modules;
Sat, 02 Apr 2016 20:33:34 +0200 wenzelm clarified modules;
Sat, 02 Apr 2016 20:23:51 +0200 wenzelm clarified modules;
Fri, 18 Mar 2016 17:58:19 +0100 wenzelm discontinued slightly odd "secure" mode;
Fri, 18 Mar 2016 17:11:30 +0100 wenzelm clarified modules;
Fri, 18 Mar 2016 16:38:40 +0100 wenzelm clarified modules;
Thu, 10 Mar 2016 09:56:29 +0100 wenzelm clarified files;
Thu, 10 Mar 2016 09:50:53 +0100 wenzelm clarified files;
Sat, 05 Mar 2016 17:01:45 +0100 wenzelm tuned signature -- clarified modules;
Sat, 05 Mar 2016 13:53:08 +0100 wenzelm unused;
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 15:23:02 +0100 wenzelm clarified modules;
Thu, 03 Mar 2016 14:03:06 +0100 wenzelm clarified modules;
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);
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;
less more (0) -100 -60 tip