src/Pure/General/markup.scala
changeset 43721 fad8634cee62
parent 43710 7270ae921cf2
child 43746 a41f618c641d
--- a/src/Pure/General/markup.scala	Sat Jul 09 18:54:50 2011 +0200
+++ b/src/Pure/General/markup.scala	Sat Jul 09 21:53:27 2011 +0200
@@ -302,6 +302,12 @@
   val EDIT = "edit"
 
 
+  /* prover process */
+
+  val PROVER_COMMAND = "prover_command"
+  val PROVER_ARG = "prover_arg"
+
+
   /* messages */
 
   val Serial = new Long_Property("serial")