src/Pure/System/options.scala
Tue, 07 Aug 2012 22:25:17 +0200 wenzelm more structural parsing for minor modes;
Tue, 07 Aug 2012 20:28:35 +0200 wenzelm more token markers, based on actual outer syntax;
Mon, 06 Aug 2012 16:05:29 +0200 wenzelm "isabelle options" prints Isabelle system options;
Mon, 30 Jul 2012 15:31:00 +0200 wenzelm allow negative int values as well, according to real = int | float;
Sat, 28 Jul 2012 19:37:35 +0200 wenzelm some description of main build options;
Fri, 27 Jul 2012 14:09:59 +0200 wenzelm simplified Path vs. JVM File operations;
Tue, 24 Jul 2012 00:29:36 +0200 wenzelm pass build options to ML;
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);
Sat, 21 Jul 2012 22:13:50 +0200 wenzelm propagate defined options;
Fri, 20 Jul 2012 23:16:54 +0200 wenzelm more abstract file system operations in Scala, corresponding to ML version;
Fri, 20 Jul 2012 22:29:25 +0200 wenzelm more explicit java.io.{File => JFile};
Fri, 20 Jul 2012 21:04:03 +0200 wenzelm further imitation of "usedir" shell script;
Fri, 20 Jul 2012 18:50:33 +0200 wenzelm require explicit initialization of options;
Fri, 20 Jul 2012 17:43:55 +0200 wenzelm tuned signature;
Fri, 20 Jul 2012 16:47:43 +0200 wenzelm define build_options from command line;
Fri, 20 Jul 2012 15:48:22 +0200 wenzelm basic support for stand-alone options with external string representation;
less more (0) tip