| changeset 59077 | 7e0d3da6e6d8 |
| parent 57923 | cdae2467311d |
| child 59702 | 58dfaa369c11 |
--- a/src/Pure/PIDE/prover.scala Mon Dec 01 19:25:20 2014 +0100 +++ b/src/Pure/PIDE/prover.scala Tue Dec 02 14:16:56 2014 +0100 @@ -17,6 +17,7 @@ trait Syntax { + def ++ (other: Syntax): Syntax def add_keywords(keywords: Thy_Header.Keywords): Syntax def parse_spans(input: CharSequence): List[Command_Span.Span] def load_command(name: String): Option[List[String]]