| Sat, 27 Jul 2013 16:59:25 +0200 | wenzelm | support isabelle options -g; | file | diff | annotate |
| Tue, 25 Jun 2013 11:41:16 +0200 | wenzelm | more formal isabelle_admin_build; | file | diff | annotate |
| Fri, 17 May 2013 18:50:55 +0200 | wenzelm | more precise "eval", cf. isabelle build; | file | diff | annotate |