src/Tools/jEdit/src/isabelle.scala
2012-11-25 wenzelm 2012-11-25 tuned signature;