etc/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