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