etc/options
2012-09-11 wenzelm 2012-09-11 more options;
2012-09-11 wenzelm 2012-09-11 some support to organize options in sections;
2012-08-14 wenzelm 2012-08-14 explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm 2012-08-14 clarified format of etc/options: only declarations, not re-definitions;
2012-08-03 wenzelm 2012-08-03 timeout for session build job; tuned error messages;
2012-08-01 wenzelm 2012-08-01 explicit option skip_proofs;
2012-07-28 wenzelm 2012-07-28 some description of main build options;
2012-07-26 wenzelm 2012-07-26 more build options;
2012-07-26 wenzelm 2012-07-26 more build options;
2012-07-26 wenzelm 2012-07-26 refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26 wenzelm 2012-07-26 discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
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;