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.
cover CPure.- and CPure._ as well;
authorwenzelm
Sat, 23 Apr 2005 19:49:08 +0200
changeset 15821 ac7ea72c463b
parent 15820 63914dbc4645
child 15822 916b9df2ce9f
cover CPure.- and CPure._ as well;
lib/scripts/fixcpure.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/fixcpure.pl	Sat Apr 23 19:49:01 2005 +0200
+++ b/lib/scripts/fixcpure.pl	Sat Apr 23 19:49:08 2005 +0200
@@ -15,7 +15,7 @@
     $_ = $text;
 
     s/\bCPure\.thy\b/-THE-CPURE-THEORY-/sg;
-    s/\bCPure\.([A-Za-z])/Pure.$1/sg;
+    s/\bCPure\.([A-Za-z_\-])/Pure.$1/sg;
     s/-THE-CPURE-THEORY-/CPure.thy/sg;
 
     $result = $_;
isabelle