names for control symbols without "^", which is relevant for completion;

--- a/src/Pure/General/symbol.scala	Sun Jun 19 14:11:06 2011 +0200
+++ b/src/Pure/General/symbol.scala	Sun Jun 19 14:31:08 2011 +0200
@@ -230,7 +230,7 @@
 
     val names: Map[String, String] =
     {
-      val name = new Regex("""\\<([A-Za-z][A-Za-z0-9_']*)>""")
+      val name = new Regex("""\\<\^?([A-Za-z][A-Za-z0-9_']*)>""")
       Map((for ((sym @ name(a), _) <- symbols) yield (sym -> a)): _*)
     }