src/Pure/ROOT.ML
Sun, 02 May 2021 14:07:19 +0200 wenzelm early definition of ML antiquotations;
Fri, 16 Apr 2021 23:35:20 +0200 wenzelm clarified conditional ML;
Sun, 11 Apr 2021 21:32:09 +0200 wenzelm tuned signature;
Wed, 31 Mar 2021 22:58:17 +0200 wenzelm further clarification of Isabelle distribution identification -- avoid odd patching of sources;
Tue, 23 Mar 2021 19:47:15 +0100 wenzelm enforce full build;
Sun, 21 Mar 2021 23:16:34 +0100 wenzelm enforce full build;
Fri, 05 Mar 2021 16:09:42 +0100 wenzelm clarified signature --- augment existing structure Time;
Thu, 04 Mar 2021 22:03:33 +0100 wenzelm enforce full build, after significant changes in Isabelle/Scala;
Mon, 22 Feb 2021 14:48:03 +0100 wenzelm clarified signature, following Isabelle/Scala;
Sun, 21 Feb 2021 00:49:09 +0100 wenzelm clarified lines (again);
Sat, 20 Feb 2021 23:01:35 +0100 wenzelm clarified modules;
Sat, 20 Feb 2021 22:09:16 +0100 wenzelm more uniform Bash.process: always ask Isabelle/Scala;
Sun, 07 Feb 2021 15:32:57 +0100 wenzelm clarified modules: less redundancy;
Sun, 07 Feb 2021 12:55:41 +0100 wenzelm clarified modules: allow early invocation of Scala functions;
Sun, 07 Feb 2021 12:30:52 +0100 wenzelm clarified modules: allow early definition of protocol commands;
Sat, 16 Jan 2021 22:52:43 +0100 wenzelm updated to scala-2.13.4;
Sun, 20 Dec 2020 15:47:54 +0100 wenzelm present auxiliary files with PIDE markup;
Sat, 28 Nov 2020 21:56:24 +0100 wenzelm added document antiquotation @{tool};
Sat, 28 Nov 2020 17:38:03 +0100 wenzelm clarified protocol: Doc.check at run-time via Scala function;
Tue, 24 Nov 2020 16:39:58 +0100 wenzelm clarified signature and database layout;
Fri, 20 Nov 2020 23:47:34 +0100 wenzelm generate theory HTML in Isabelle/Scala;
Wed, 18 Nov 2020 15:47:53 +0100 wenzelm clarified modules;
Sun, 01 Nov 2020 16:54:49 +0100 haftmann bundle mixins for locale and class specifications
Mon, 12 Oct 2020 07:25:38 +0000 haftmann dedicated module for toplevel target handling
Thu, 16 Jul 2020 22:24:03 +0200 wenzelm support native PID for ML process;
Mon, 13 Jul 2020 22:07:18 +0200 wenzelm clarified modules: ML_Statistics within bootstrap environment;
Mon, 25 May 2020 20:43:19 +0200 wenzelm clarified signature;
Sun, 24 May 2020 19:45:42 +0200 wenzelm proper check of registered Scala functions;
Wed, 20 May 2020 20:45:43 +0200 wenzelm clarified modules;
Sun, 05 Apr 2020 13:05:40 +0200 wenzelm clarified names;
Fri, 03 Apr 2020 20:49:49 +0200 wenzelm tuned -- prefer Config.T over Data;
Fri, 03 Apr 2020 17:35:10 +0200 wenzelm less redundant markup reports;
Fri, 08 Nov 2019 19:06:50 +0100 wenzelm clarified modules;
Fri, 08 Nov 2019 16:11:09 +0100 wenzelm tuned modules;
Sat, 19 Oct 2019 11:33:36 +0200 wenzelm proper protocol_message for bootstrap proofs;
Thu, 17 Oct 2019 20:28:31 +0200 wenzelm clarified files;
Fri, 04 Oct 2019 15:30:52 +0200 wenzelm Term_XML.Encode/Decode.term uses Const "typargs";
Mon, 19 Aug 2019 19:12:44 +0200 wenzelm clarified modules;
Sat, 17 Aug 2019 11:13:16 +0200 wenzelm clarified modules;
Tue, 13 Aug 2019 15:34:46 +0200 wenzelm added SUBPROOFS / "subproofs" method combinator, for more compact proofterms;
Tue, 13 Aug 2019 10:27:21 +0200 wenzelm clarified modules;
Tue, 30 Jul 2019 14:35:29 +0200 wenzelm clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
Tue, 30 Jul 2019 11:41:39 +0200 wenzelm clarified modules;
Mon, 22 Jul 2019 16:15:40 +0200 wenzelm support export_proofs, prune_proofs;
Tue, 16 Jul 2019 15:39:32 +0200 wenzelm support for a soft-type system within the Isabelle logical framework;
Sun, 10 Mar 2019 00:21:34 +0100 wenzelm added semantic document markers;
Fri, 08 Mar 2019 17:05:23 +0100 wenzelm clarified modules;
Tue, 11 Dec 2018 21:23:02 +0100 wenzelm more uniform multi-language operations;
Tue, 11 Dec 2018 19:25:35 +0100 wenzelm more uniform multi-language operations;
Mon, 10 Dec 2018 20:20:24 +0100 wenzelm clarified modules, following bytes.scala;
Sat, 01 Dec 2018 16:11:59 +0100 wenzelm clarified modules;
Fri, 30 Nov 2018 23:43:10 +0100 wenzelm more general command 'generate_file' for registered file types, notably Haskell;
Tue, 30 Oct 2018 19:18:01 +0100 wenzelm support for GHC: string literals;
Tue, 30 Oct 2018 19:14:31 +0100 wenzelm some support for UTF-8 (similar to Isabelle/Scala version);
Wed, 29 Aug 2018 11:44:28 +0200 wenzelm clarified modules;
Fri, 11 May 2018 22:59:00 +0200 wenzelm some export of foundational theory content;
Sun, 06 May 2018 22:15:52 +0200 wenzelm tuned signature;
Sat, 10 Feb 2018 11:55:12 +0100 wenzelm more accessible src/Pure/ROOT.ML;
Sun, 14 Jan 2018 14:11:02 +0100 wenzelm clarified modules: uniform notion of formal comments;
Tue, 09 Jan 2018 15:40:12 +0100 wenzelm clarified modules;
less more (0) -300 -100 -60 tip