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