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 |