etc/options
Sat, 22 Sep 2012 14:41:41 +0200 wenzelm Thy_Syntax.consolidate_spans is subject to editor_reparse_limit, for improved experience of unbalanced comments etc.;
Tue, 11 Sep 2012 22:59:25 +0200 wenzelm more precise sections;
Tue, 11 Sep 2012 19:43:06 +0200 wenzelm tuned;
Tue, 11 Sep 2012 19:19:39 +0200 wenzelm more options;
Tue, 11 Sep 2012 15:47:42 +0200 wenzelm some support to organize options in sections;
Tue, 14 Aug 2012 15:42:58 +0200 wenzelm explicit document_output directory, without implicit purge of default in ISABELLE_BROWSER_INFO;
Tue, 14 Aug 2012 13:01:09 +0200 wenzelm clarified format of etc/options: only declarations, not re-definitions;
Fri, 03 Aug 2012 14:52:45 +0200 wenzelm timeout for session build job;
Wed, 01 Aug 2012 15:46:45 +0200 wenzelm explicit option skip_proofs;
Sat, 28 Jul 2012 19:37:35 +0200 wenzelm some description of main build options;
Thu, 26 Jul 2012 19:41:05 +0200 wenzelm more build options;
Thu, 26 Jul 2012 17:17:53 +0200 wenzelm more build options;
Thu, 26 Jul 2012 14:29:54 +0200 wenzelm refined "document_dump_mode": "all", "tex+sty", "tex";
Thu, 26 Jul 2012 13:38:43 +0200 wenzelm discontinued slightly odd "browser_info_remote" -- it could point to a completely different version of the Isabelle library;
Tue, 24 Jul 2012 21:54:49 +0200 wenzelm more build options;
Tue, 24 Jul 2012 21:26:28 +0200 wenzelm more build options;
Tue, 24 Jul 2012 12:20:01 +0200 wenzelm added "document_dump_only" (cf. negated usedir -C);
Tue, 24 Jul 2012 11:39:22 +0200 wenzelm further imitation of ISABELLE_USEDIR_OPTIONS via options;
Tue, 24 Jul 2012 11:02:42 +0200 wenzelm added "browser_info_remote" (cf. usedir -P);
Tue, 24 Jul 2012 10:43:13 +0200 wenzelm tuned options;
Tue, 24 Jul 2012 10:39:03 +0200 wenzelm timing is command line options, not system option;
Tue, 24 Jul 2012 10:11:49 +0200 wenzelm clarified document options;
Tue, 24 Jul 2012 00:29:36 +0200 wenzelm pass build options to ML;
Fri, 20 Jul 2012 18:50:33 +0200 wenzelm require explicit initialization of options;
Fri, 20 Jul 2012 16:47:17 +0200 wenzelm some basic Isabelle options;
less more (0) tip