src/Pure/PIDE/prover.scala

--- a/src/Pure/PIDE/prover.scala	Tue Aug 02 11:49:30 2016 +0200
+++ b/src/Pure/PIDE/prover.scala	Tue Aug 02 17:35:18 2016 +0200
@@ -19,6 +19,7 @@
   {
     def ++ (other: Syntax): Syntax
     def add_keywords(keywords: Thy_Header.Keywords): Syntax
+    def add_abbrevs(abbrevs: Thy_Header.Abbrevs): Syntax
     def parse_spans(input: CharSequence): List[Command_Span.Span]
     def load_command(name: String): Option[List[String]]
     def load_commands_in(text: String): Boolean