src/Pure/Isar/outer_syntax.scala

--- a/src/Pure/Isar/outer_syntax.scala	Mon Aug 08 08:56:58 2011 +0200
+++ b/src/Pure/Isar/outer_syntax.scala	Mon Aug 08 13:19:19 2011 +0200
@@ -47,7 +47,9 @@
   {
     val new_keywords = keywords + (name -> kind)
     val new_lexicon = lexicon + name
-    val new_completion = completion + (name, replace)
+    val new_completion =
+      if (Keyword.control(kind)) completion
+      else completion + (name, replace)
     new Outer_Syntax {
       override val lexicon = new_lexicon
       override val keywords = new_keywords