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