changeset 46712 | 8650d9a95736 |
parent 46626 | a02115865bcc |
child 46940 | a40be2f10ca9 |
--- a/src/Pure/Isar/outer_syntax.scala Mon Feb 27 16:56:25 2012 +0100 +++ b/src/Pure/Isar/outer_syntax.scala Mon Feb 27 17:13:25 2012 +0100 @@ -37,7 +37,7 @@ def init(): Outer_Syntax = new Outer_Syntax() } -class Outer_Syntax private( +final class Outer_Syntax private( keywords: Map[String, String] = Map((";" -> Keyword.DIAG)), lexicon: Scan.Lexicon = Scan.Lexicon.empty, val completion: Completion = Completion.init())