src/Tools/jEdit/src/jedit/isabelle_options.scala
2009-12-08 wenzelm 2009-12-08 misc modernization of names;