| Wed, 28 Dec 2022 14:40:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2022 14:08:00 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2022 22:25:22 +0200 |
wenzelm |
check imports more strictly, e.g. reject ".../Pure" or ".../HOL-Library.Multiset";
|
file |
diff |
annotate
|
| Sat, 03 Sep 2022 22:00:51 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 03 Sep 2022 17:20:35 +0200 |
wenzelm |
back to more traditional import_name (reverting cceb10dcc9f9), e.g. relevant for "isabelle jedit -l CTT src/CTT/ex/Elimination.thy" to produce proper error "Cannot update finished theory CTT.Elimination";
|
file |
diff |
annotate
|
| Sun, 28 Aug 2022 21:25:28 +0200 |
wenzelm |
more markup (for batch build);
|
file |
diff |
annotate
|
| Tue, 28 Jun 2022 11:24:59 +0200 |
wenzelm |
more operations on Bytes.T;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 14:18:48 +0200 |
wenzelm |
clarified session resources for bootstrap, notably for Scala functions;
|
file |
diff |
annotate
|
| Wed, 22 Jun 2022 11:09:31 +0200 |
wenzelm |
clarified types and defaults;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 17:26:31 +0100 |
wenzelm |
more symbolic latex_output via XML;
|
file |
diff |
annotate
|
| Mon, 15 Nov 2021 11:38:14 +0100 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Fri, 05 Nov 2021 12:05:17 +0100 |
wenzelm |
unused (see also 217e6cf61453, 5e7916535860);
|
file |
diff |
annotate
|
| Wed, 03 Nov 2021 14:26:13 +0100 |
wenzelm |
more PIDE markup;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 20:25:33 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Wed, 20 Oct 2021 18:13:17 +0200 |
wenzelm |
discontinued obsolete "val extend = I" for data slots;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2021 21:47:50 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 04 Sep 2021 21:25:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 24 Aug 2021 14:56:55 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Tue, 25 May 2021 22:28:39 +0200 |
wenzelm |
compose Latex text as XML, output exported YXML in Isabelle/Scala;
|
file |
diff |
annotate
|
| Fri, 21 May 2021 12:29:29 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Mon, 12 Apr 2021 18:10:13 +0200 |
wenzelm |
clarified signature for Scala functions;
|
file |
diff |
annotate
|
| Sat, 13 Mar 2021 12:36:24 +0100 |
wenzelm |
clarified signature: function_thread is determined in Isabelle/Scala, not Isabelle/ML;
|
file |
diff |
annotate
|
| Sat, 27 Feb 2021 13:39:06 +0100 |
wenzelm |
more checks;
|
file |
diff |
annotate
|
| Sun, 07 Feb 2021 12:55:41 +0100 |
wenzelm |
clarified modules: allow early invocation of Scala functions;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2020 16:09:06 +0100 |
wenzelm |
more accurate markup (refining 1c59b555ac4a);
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 17:38:03 +0100 |
wenzelm |
clarified protocol: Doc.check at run-time via Scala function;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 15:59:24 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 15:17:14 +0100 |
wenzelm |
more positions;
|
file |
diff |
annotate
|
| Sat, 28 Nov 2020 14:25:27 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2020 21:59:23 +0100 |
wenzelm |
clarified theory keywords: loaded_files are determined statically in Scala, but ML needs to do it semantically;
|
file |
diff |
annotate
|