src/Pure/System/command_line.scala
2012-07-19 wenzelm 2012-07-19 more general support for Isabelle/Scala command line tools;