| 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 |
| Fri, 14 Dec 2012 16:45:41 +0100 | wenzelm | clarified "isabelle options" command line, to make it more close to "isabelle components"; | file | diff | annotate |
| Mon, 06 Aug 2012 16:05:29 +0200 | wenzelm | "isabelle options" prints Isabelle system options; | file | diff | annotate |