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 |