src/Pure/System/options.scala
2012-07-20 wenzelm 2012-07-20 require explicit initialization of options; more explicit Position operations;
2012-07-20 wenzelm 2012-07-20 tuned signature;
2012-07-20 wenzelm 2012-07-20 define build_options from command line;
2012-07-20 wenzelm 2012-07-20 basic support for stand-alone options with external string representation;