Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/General/symbol.scala
changeset 61470 c42960228a81
parent 61376 93224745477f
child 61483 07c8d5d8acab 
--- a/src/Pure/General/symbol.scala	Sat Oct 17 16:08:30 2015 +0200
+++ b/src/Pure/General/symbol.scala	Sun Oct 18 17:20:20 2015 +0200
@@ -521,7 +521,7 @@
   /* control symbols */
 
   def is_control(sym: Symbol): Boolean =
-    sym.startsWith("\\<^") || symbols.control_decoded.contains(sym)
+    (sym.startsWith("\\<^") && sym.endsWith(">")) || symbols.control_decoded.contains(sym)
 
   def is_controllable(sym: Symbol): Boolean =
     !is_blank(sym) && !is_control(sym) && !is_open(sym) && !is_close(sym) && !is_malformed(sym)
isabelle