etc/options
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 more build options;
2012-07-24 wenzelm 2012-07-24 added "document_dump_only" (cf. negated usedir -C);
2012-07-24 wenzelm 2012-07-24 further imitation of ISABELLE_USEDIR_OPTIONS via options;
2012-07-24 wenzelm 2012-07-24 added "browser_info_remote" (cf. usedir -P);
2012-07-24 wenzelm 2012-07-24 tuned options;
2012-07-24 wenzelm 2012-07-24 timing is command line options, not system option;
2012-07-24 wenzelm 2012-07-24 clarified document options;
2012-07-24 wenzelm 2012-07-24 pass build options to ML; some imitation of usedir Session.init;
2012-07-20 wenzelm 2012-07-20 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 some basic Isabelle options;