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.
minor bugfix for subst_RS
authoroheimb
Mon, 30 Apr 2001 13:54:33 +0200
changeset 11274 566a70a50956
parent 11273 673783831234
child 11275 71498de45241
minor bugfix for subst_RS
lib/scripts/convert.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/convert.pl	Mon Apr 30 13:17:17 2001 +0200
+++ b/lib/scripts/convert.pl	Mon Apr 30 13:54:33 2001 +0200
@@ -21,7 +21,7 @@
   s/ RS ([\w\'\.]+)/ [THEN $1]/g;
   s/ RS \((.+?)\)/ [THEN $1]/g;
   s/\(([\w\'\.]+ \[THEN [\w\'\.]+\])\)/$1/g;
-  s/\] \[THEN /, /g;
+  s/\] \[THEN /, THEN /g;
   s/THEN sym\b/symmetric/g;
 }
isabelle