src/Pure/System/options.scala
Fri, 20 Jul 2012 15:48:22 +0200 basic support for stand-alone options with external string representation;