tuned signature -- pro forma;

--- a/src/Pure/PIDE/prover.scala	Thu Apr 03 13:46:18 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Thu Apr 03 13:49:37 2014 +0200
@@ -13,7 +13,7 @@
 
   sealed abstract class Message
 
-  class Input(name: String, args: List[String]) extends Message
+  class Input(val name: String, val args: List[String]) extends Message
   {
     override def toString: String =
       XML.Elem(Markup(Markup.PROVER_COMMAND, List((Markup.NAME, name))),