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 54582 cb17feba74e0
parent 54560 7f36da77130d
child 55138 2fa86fa27a0f
equal deleted inserted replaced
54581:1502a1f707d9 54582:cb17feba74e0 
     3 *~
 
     3 *~
 
     4 *.class
 
     4 *.class
 
     5 *.jar
 
     5 *.jar
 
     6 *.orig
 
     6 *.orig
 
     7 *.rej
 
     7 *.rej
 
       
     8 *.pyc
 
     8 .DS_Store
 
     9 .DS_Store
 
     9 .swp
 
    10 .swp
 
    10 
    11 
    11 
    12 
    12 syntax: regexp
 
    13 syntax: regexp
isabelle