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 27905 070b4a6a9d58
parent 27901 28083e9f8d1d
child 27918 85942d2036a0 
--- a/src/Pure/General/symbol.scala	Fri Aug 15 22:16:13 2008 +0200
+++ b/src/Pure/General/symbol.scala	Fri Aug 15 22:16:14 2008 +0200
@@ -22,7 +22,7 @@
       \^raw: [\x20-\x7e\u0100-\uffff && [^.>]]* ) >"""
 
   private val bad_symbol_src = "(?!" + symbol_src + ")" +
-    """ \\ \\? < (?: (?! \p{Space} | ["`\\] | \(\* | \*\) | \{\* | \*\} ) . )*"""
+    """ \\ \\? < (?: (?! \p{Space} | [\"`\\] | \(\* | \*\) | \{\* | \*\} ) . )*"""
 
   val symbol_pattern = compile(symbol_src)
   val bad_symbol_pattern = compile(bad_symbol_src)
isabelle