1.1 --- a/src/Pure/Isar/outer_syntax.scala	Sat Apr 14 17:15:57 2012 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Sat Apr 14 17:26:08 2012 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4  }
     1.5  
     1.6  final class Outer_Syntax private(
     1.7 -  keywords: Map[String, String] = Map((";" -> Keyword.DIAG)),
     1.8 +  keywords: Map[String, String] = Map.empty,
     1.9    lexicon: Scan.Lexicon = Scan.Lexicon.empty,
    1.10    val completion: Completion = Completion.empty)
    1.11  {