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.
replace \<dots>;
authorwenzelm
Tue, 21 Nov 2000 19:03:27 +0100
changeset 10506 01333dbe1431
parent 10505 b89e6cc963e3
child 10507 ea5de7c64c23
replace \<dots>;
lib/scripts/unsymbolize.pl file | annotate | diff | comparison | revisions 
--- a/lib/scripts/unsymbolize.pl	Tue Nov 21 19:03:06 2000 +0100
+++ b/lib/scripts/unsymbolize.pl	Tue Nov 21 19:03:27 2000 +0100
@@ -22,6 +22,7 @@
     s/\\?\\<Midarrow>\\?\\<Rightarrow>/==>/g;
     s/\\?\\<Rightarrow>/=>/g;
     s/\\?\\<equiv>/==/g;
+    s/\\?\\<dots>/.../g;
     s/\\?\\<lbrakk> ?/[| /g;
     s/\\?\\ ?<rbrakk>/ |]/g;
     s/\\?\\<lparr> ?/(| /g;
isabelle