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.
.hgignore
changeset 28911 88193464e443
parent 28909 40d87c73120d
child 28943 9fb44eb4425d
equal deleted inserted replaced
28910:5c712e46988f 28911:88193464e443 
     1 syntax: glob
 
     1 syntax: glob
 
     2 
     2 
     3 *~
 
     3 *~
 
       
     4 *.dvi
 
       
     5 *.class
 
       
     6 *.jar
 
     4 .DS_Store
 
     7 .DS_Store
 
     5 
     8 
     6 
     9 
     7 syntax: regexp
 
    10 syntax: regexp
 
     8 
    11
isabelle