Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
bugfix for \<^raw...> scanner
authorschirmer
Wed, 14 Apr 2004 10:08:28 +0200
changeset 14559 7612d19d5638
parent 14558 726f6761c562
child 14560 529464cffbfe
bugfix for \<^raw...> scanner
src/Pure/General/symbol.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/General/symbol.ML	Wed Apr 14 09:53:25 2004 +0200
+++ b/src/Pure/General/symbol.ML	Wed Apr 14 10:08:28 2004 +0200
@@ -208,8 +208,8 @@
 (* scan *)
 
 val scan_id = Scan.one is_letter ^^ (Scan.any is_letdig >> implode);
-val scan_ctrlid = Scan.one is_letter ^^ (Scan.any is_ctrl_letter >> implode);
-val scan_rawctrlid = $$ "r" ^^ $$ "a" ^^ $$ "w" ^^ scan_ctrlid;
+val scan_rawctrlid = 
+    $$ "r" ^^ $$ "a" ^^ $$ "w" ^^ (Scan.any is_ctrl_letter >> implode);
 
 val scan =
   $$ "\\" ^^ $$ "<" ^^
isabelle