etc/options
2012-11-18 wenzelm isabelle build no longer supports document_dump/document_dump_mode (no INCOMPATIBILITY, since it was never in official release);
2012-11-18 wenzelm more generous tracing_limit, with explicit system option;
2012-09-22 wenzelm Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
2012-09-11 wenzelm more precise sections;
2012-09-11 wenzelm tuned;
2012-09-11 wenzelm more options;
2012-09-11 wenzelm some support to organize options in sections;
2012-08-14 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
2012-08-14 wenzelm clarified format of etc/options: only declarations, not re-definitions;
2012-08-03 wenzelm timeout for session build job;
2012-08-01 wenzelm explicit option skip_proofs;
2012-07-28 wenzelm some description of main build options;
2012-07-26 wenzelm more build options;
2012-07-26 wenzelm more build options;
2012-07-26 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
2012-07-26 wenzelm discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
2012-07-24 wenzelm more build options;
2012-07-24 wenzelm more build options;
2012-07-24 wenzelm added "document_dump_only" (cf. negated usedir -C);
2012-07-24 wenzelm further imitation of ISABELLE_USEDIR_OPTIONS via options;
2012-07-24 wenzelm added "browser_info_remote" (cf. usedir -P);
2012-07-24 wenzelm tuned options;
2012-07-24 wenzelm timing is command line options, not system option;
2012-07-24 wenzelm clarified document options;
2012-07-23 wenzelm pass build options to ML;
2012-07-20 wenzelm require explicit initialization of options;
2012-07-20 wenzelm some basic Isabelle options;
less more (0) tip