src/Pure/General/markup.scala

   val EXEC = "exec"
   val ASSIGN = "assign"
   val EDIT = "edit"
 
 
+  /* prover process */
+
+  val PROVER_COMMAND = "prover_command"
+  val PROVER_ARG = "prover_arg"
+
+
   /* messages */
 
   val Serial = new Long_Property("serial")
 
   val MESSAGE = "message"