src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Tue Aug 12 00:08:32 2014 +0200
+++ b/src/Pure/PIDE/prover.scala	Tue Aug 12 00:17:02 2014 +0200
@@ -14,8 +14,7 @@
   trait Syntax
   {
     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 parse_spans(input: CharSequence): List[Command_Span.Span]
     def load_command(name: String): Option[List[String]]
     def load_commands_in(text: String): Boolean
   }