lib/Tools/options
Tue, 25 Jun 2013 11:41:16 +0200 wenzelm more formal isabelle_admin_build;
Fri, 17 May 2013 18:50:55 +0200 wenzelm more precise "eval", cf. isabelle build;
Fri, 14 Dec 2012 16:45:41 +0100 wenzelm clarified "isabelle options" command line, to make it more close to "isabelle components";
Mon, 06 Aug 2012 16:05:29 +0200 wenzelm "isabelle options" prints Isabelle system options;
less more (0) tip