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 11274 566a70a50956
parent 11273 673783831234
child 11283 358f82c4550d 
--- 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