lib/Tools/options
2013-07-27 wenzelm 2013-07-27 support isabelle options -g;
2013-06-25 wenzelm 2013-06-25 more formal isabelle_admin_build; tuned;
2013-05-17 wenzelm 2013-05-17 more precise "eval", cf. isabelle build;
2012-12-14 wenzelm 2012-12-14 clarified "isabelle options" command line, to make it more close to "isabelle components";
2012-08-06 wenzelm 2012-08-06 "isabelle options" prints Isabelle system options;