src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Mon Aug 11 20:46:56 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Mon Aug 11 22:29:48 2014 +0200
@@ -15,7 +15,7 @@
   {
     def add_keywords(keywords: Thy_Header.Keywords): Syntax
     def scan(input: CharSequence): List[Token]
-    def load(span: List[Token]): Option[List[String]]
+    def load_command(name: String): Option[List[String]]
     def load_commands_in(text: String): Boolean
   }