src/Pure/System/options.ML
Wed, 27 May 2020 20:38:59 +0200 wenzelm clarified signature;
Sat, 16 Dec 2017 14:24:12 +0100 wenzelm recovered Options.default_markup, e.g. for src/Doc/antiquote_setup.ML (amending 16519cd83ed4);
Sat, 16 Dec 2017 12:16:40 +0100 wenzelm clarified signature;
Mon, 05 Sep 2016 23:11:00 +0200 wenzelm clarified modules;
Wed, 06 Apr 2016 11:50:07 +0200 wenzelm more uniform cleanup (via ML_Process in Scala);
Tue, 05 Apr 2016 20:51:37 +0200 wenzelm clarified modules -- simplified bootstrap;
Tue, 05 Apr 2016 19:41:58 +0200 wenzelm clarified bootstrap environment;
Fri, 01 Apr 2016 16:31:54 +0200 wenzelm more operations (cf. Scala version);
Sat, 26 Mar 2016 12:35:11 +0100 wenzelm clarified use of options;
Wed, 25 Mar 2015 14:39:40 +0100 wenzelm semantic completion for @{system_option};
Tue, 08 Apr 2014 14:59:36 +0200 wenzelm more uniform ML/document antiquotations;
Tue, 08 Apr 2014 14:15:48 +0200 wenzelm more positions and markup;
Tue, 14 May 2013 20:46:09 +0200 wenzelm more uniform Markup.print_real;
Tue, 14 May 2013 19:48:31 +0200 wenzelm more uniform Markup.parse_real;
Tue, 14 May 2013 12:22:18 +0200 wenzelm tuned messages;
Sun, 12 May 2013 20:46:17 +0200 wenzelm more standard Isabelle/ML operations -- avoid inaccurate Bool.fromString;
Sun, 12 May 2013 18:20:16 +0200 wenzelm tuned signature;
Sun, 12 May 2013 17:56:53 +0200 wenzelm tuned comments;
Sun, 12 May 2013 17:42:36 +0200 wenzelm more operations in accordance to Scala version;
Sun, 12 May 2013 15:08:11 +0200 wenzelm more systematic access to options default;
Mon, 06 Aug 2012 21:11:42 +0200 wenzelm pass Isabelle/Scala system options into ML process of Isar tty or build jobs;
Mon, 23 Jul 2012 22:35:10 +0200 wenzelm added ML version of stand-alone options, with XML.encode/decode operations (unidirectional from Scala to ML);
less more (0) tip