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