Mercurial Mercurial > repos > isabelle / comparison
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/unsymbolize.pl
changeset 10506 01333dbe1431
parent 10071 ff08faf26d58
child 10639 f902346264e9
equal deleted inserted replaced
10505:b89e6cc963e3 10506:01333dbe1431 
    20     s/\\?\\<Colon>/::/g;
 
    20     s/\\?\\<Colon>/::/g;
 
    21     s/\\?\\<Longrightarrow>/==>/g;
 
    21     s/\\?\\<Longrightarrow>/==>/g;
 
    22     s/\\?\\<Midarrow>\\?\\<Rightarrow>/==>/g;
 
    22     s/\\?\\<Midarrow>\\?\\<Rightarrow>/==>/g;
 
    23     s/\\?\\<Rightarrow>/=>/g;
 
    23     s/\\?\\<Rightarrow>/=>/g;
 
    24     s/\\?\\<equiv>/==/g;
 
    24     s/\\?\\<equiv>/==/g;
 
       
    25     s/\\?\\<dots>/.../g;
 
    25     s/\\?\\<lbrakk> ?/[| /g;
 
    26     s/\\?\\<lbrakk> ?/[| /g;
 
    26     s/\\?\\ ?<rbrakk>/ |]/g;
 
    27     s/\\?\\ ?<rbrakk>/ |]/g;
 
    27     s/\\?\\<lparr> ?/(| /g;
 
    28     s/\\?\\<lparr> ?/(| /g;
 
    28     s/\\?\\ ?<rparr>/ |)/g;
 
    29     s/\\?\\ ?<rparr>/ |)/g;
 
    29     # HOL
 
    30     # HOL
isabelle