src/Pure/Isar/outer_syntax.scala
changeset 44051 2ec66075a75c
parent 43774 6dfdb70496fe
child 46624 dc4c72092088
     1.1 --- a/src/Pure/Isar/outer_syntax.scala	Mon Aug 08 08:56:58 2011 +0200
     1.2 +++ b/src/Pure/Isar/outer_syntax.scala	Mon Aug 08 13:19:19 2011 +0200
     1.3 @@ -47,7 +47,9 @@
     1.4    {
     1.5      val new_keywords = keywords + (name -> kind)
     1.6      val new_lexicon = lexicon + name
     1.7 -    val new_completion = completion + (name, replace)
     1.8 +    val new_completion =
     1.9 +      if (Keyword.control(kind)) completion
    1.10 +      else completion + (name, replace)
    1.11      new Outer_Syntax {
    1.12        override val lexicon = new_lexicon
    1.13        override val keywords = new_keywords