| 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 |