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.
lib/scripts/convert.pl
changeset 11283 358f82c4550d
parent 11274 566a70a50956
child 11286 5116d92c6a83 
--- a/lib/scripts/convert.pl	Thu May 03 17:51:29 2001 +0200
+++ b/lib/scripts/convert.pl	Thu May 03 18:22:36 2001 +0200
@@ -61,7 +61,7 @@
   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
 
   s/EVERY *\[(.*?)\]/$1/;
-  if(s/EVERY\'\[(.*?)\] *(\d+)/$1 $2/) {
+  if(s/EVERY\' ?\[(.*?)\] *(\d+)/$1 $2/) {
     $goal = $2;
     s/,/ $goal,/g;
   }
isabelle