| Fri, 08 Nov 2019 16:11:09 +0100 |
wenzelm |
tuned modules;
|
file |
diff |
annotate
|
| Sat, 19 Oct 2019 11:33:36 +0200 |
wenzelm |
proper protocol_message for bootstrap proofs;
|
file |
diff |
annotate
|
| Thu, 17 Oct 2019 20:28:31 +0200 |
wenzelm |
clarified files;
|
file |
diff |
annotate
|
| Fri, 04 Oct 2019 15:30:52 +0200 |
wenzelm |
Term_XML.Encode/Decode.term uses Const "typargs";
|
file |
diff |
annotate
|
| Mon, 19 Aug 2019 19:12:44 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2019 11:13:16 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 15:34:46 +0200 |
wenzelm |
added SUBPROOFS / "subproofs" method combinator, for more compact proofterms;
|
file |
diff |
annotate
|
| Tue, 13 Aug 2019 10:27:21 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2019 14:35:29 +0200 |
wenzelm |
clarified modules: provide reconstruct_proof / expand_proof at the bottom of proof term construction;
|
file |
diff |
annotate
|
| Tue, 30 Jul 2019 11:41:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 22 Jul 2019 16:15:40 +0200 |
wenzelm |
support export_proofs, prune_proofs;
|
file |
diff |
annotate
|
| Tue, 16 Jul 2019 15:39:32 +0200 |
wenzelm |
support for a soft-type system within the Isabelle logical framework;
|
file |
diff |
annotate
|
| Sun, 10 Mar 2019 00:21:34 +0100 |
wenzelm |
added semantic document markers;
|
file |
diff |
annotate
|
| Fri, 08 Mar 2019 17:05:23 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 11 Dec 2018 21:23:02 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
| Tue, 11 Dec 2018 19:25:35 +0100 |
wenzelm |
more uniform multi-language operations;
|
file |
diff |
annotate
|
| Mon, 10 Dec 2018 20:20:24 +0100 |
wenzelm |
clarified modules, following bytes.scala;
|
file |
diff |
annotate
|
| Sat, 01 Dec 2018 16:11:59 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 30 Nov 2018 23:43:10 +0100 |
wenzelm |
more general command 'generate_file' for registered file types, notably Haskell;
|
file |
diff |
annotate
|
| Tue, 30 Oct 2018 19:18:01 +0100 |
wenzelm |
support for GHC: string literals;
|
file |
diff |
annotate
|
| Tue, 30 Oct 2018 19:14:31 +0100 |
wenzelm |
some support for UTF-8 (similar to Isabelle/Scala version);
|
file |
diff |
annotate
|
| Wed, 29 Aug 2018 11:44:28 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 11 May 2018 22:59:00 +0200 |
wenzelm |
some export of foundational theory content;
|
file |
diff |
annotate
|
| Sun, 06 May 2018 22:15:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 10 Feb 2018 11:55:12 +0100 |
wenzelm |
more accessible src/Pure/ROOT.ML;
|
file |
diff |
annotate
|
| Sun, 14 Jan 2018 14:11:02 +0100 |
wenzelm |
clarified modules: uniform notion of formal comments;
|
file |
diff |
annotate
|
| Tue, 09 Jan 2018 15:40:12 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Sun, 24 Dec 2017 14:10:41 +0100 |
wenzelm |
check bibtex database on ML side -- for semantic PIDE editing;
|
file |
diff |
annotate
|
| Sun, 24 Dec 2017 13:07:05 +0100 |
wenzelm |
clarified directories;
|
file |
diff |
annotate
|
| Sat, 16 Dec 2017 16:46:01 +0100 |
wenzelm |
PIDE markup for session ROOT files;
|
file |
diff |
annotate
|