src/Pure/Isar/outer_syntax.scala

--- a/src/Pure/Isar/outer_syntax.scala	Fri Oct 31 21:35:11 2014 +0100
+++ b/src/Pure/Isar/outer_syntax.scala	Fri Oct 31 21:48:40 2014 +0100
@@ -129,7 +129,7 @@
     val keywords1 = keywords + (name -> kind)
     val lexicon1 = lexicon + name
     val completion1 =
-      if (Keyword.control(kind._1) || replace == Some("")) completion
+      if (replace == Some("")) completion
       else completion + (name, replace getOrElse name)
     new Outer_Syntax(keywords1, lexicon1, completion1, language_context, true)
   }