| Wed, 09 Jan 2013 15:48:34 +0100 | wenzelm | more CHECKLIST; | file | diff | annotate |
| Mon, 31 Dec 2012 13:08:49 +0100 | wenzelm | updated for release; | file | diff | annotate |
| Wed, 29 Aug 2012 21:20:46 +0200 | wenzelm | more formal isabelle makedist from repository; | file | diff | annotate |
| Tue, 28 Aug 2012 17:49:02 +0200 | wenzelm | more formal build_doc tool (Admin only); | file | diff | annotate |
| Mon, 30 Jul 2012 16:40:21 +0200 | wenzelm | updated isatest to isabelle build, which also includes doc-src sessions; | file | diff | annotate |
| Sat, 28 Jul 2012 20:18:15 +0200 | wenzelm | discontinued obsolete Isabelle/build script; | file | diff | annotate |
| Thu, 05 Jul 2012 14:13:14 +0200 | wenzelm | more explicit directory structure Admin/Release/; | file | diff | annotate | base |