src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Mon Aug 11 22:59:38 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Tue Aug 12 00:08:32 2014 +0200
@@ -15,6 +15,7 @@
   {
     def add_keywords(keywords: Thy_Header.Keywords): Syntax
     def scan(input: CharSequence): List[Token]
+    def parse_spans(toks: List[Token]): List[Command_Span.Span]
     def load_command(name: String): Option[List[String]]
     def load_commands_in(text: String): Boolean
   }