| Thu, 02 May 2024 04:38:10 +0200 |
wenzelm |
update to naproche-20240502: proper platform_path for NAPROCHE_FORMALIZATIONS to make it work on Windows;
|
file |
diff |
annotate
|
| Wed, 01 May 2024 20:11:36 +0200 |
wenzelm |
disable Isabelle/Naproche for now: does not quite work on Windows;
|
file |
diff |
annotate
|
| Wed, 01 May 2024 16:16:05 +0200 |
wenzelm |
update and activate naproche component for release;
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 13:48:08 +0200 |
wenzelm |
disable naproche component for now: to be updated before the next Isabelle release;
|
file |
diff |
annotate
|
| Sat, 02 Sep 2023 12:12:32 +0200 |
wenzelm |
updated to naproche-20230902: add examples/100_theorems.ftl.tex and some more text in Isabelle/Intro.thy;
|
file |
diff |
annotate
|
| Tue, 11 Jul 2023 17:07:10 +0200 |
wenzelm |
updated naproche-20230711 component for release;
|
file |
diff |
annotate
|
| Mon, 02 Jan 2023 12:56:31 +0100 |
wenzelm |
do not bundle Isabelle/Naproche, while it keeps changing;
|
file |
diff |
annotate
|
| Wed, 26 Oct 2022 15:02:11 +0200 |
wenzelm |
formal bundling for Admin/build_release: avoid confusion about presence or absence in manual invocations;
|
file |
diff |
annotate
|
| Fri, 14 Feb 2014 14:52:50 +0100 |
wenzelm |
prefer latest ProofGeneral-4.2-1 by default;
|
file |
diff |
annotate
|
| Sat, 18 Jan 2014 20:49:15 +0100 |
wenzelm |
more unicode tokens;
|
file |
diff |
annotate
|
| Mon, 27 May 2013 13:44:02 +0200 |
wenzelm |
updated to ProofGeneral-4.2;
|
file |
diff |
annotate
|
| Wed, 09 Jan 2013 18:12:21 +0100 |
wenzelm |
updated makebundles as Admin isabelle tool;
|
file |
diff |
annotate
|