src/Tools/jEdit/src/prover/Command.scala

+/*
+ * Prover commands with semantic state
+ *
+ * @author Johannes Hölzl, TU Munich
+ * @author Fabian Immler, TU Munich
+ */
+
 package isabelle.prover
 
 import isabelle.proofdocument.Token
 import isabelle.jedit.Plugin
 import isabelle.{ YXML, XML }