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 31669 6802c34af5a9
parent 28943 9fb44eb4425d
child 31926 cdfe9a757d5f
equal deleted inserted replaced
31668:a616e56a5ec8 31669:6802c34af5a9 
     6 .DS_Store
 
     6 .DS_Store
 
     7 
     7 
     8 
     8 
     9 syntax: regexp
 
     9 syntax: regexp
 
    10 
    10 
       
    11 ^contrib
 
    11 ^heaps/
 
    12 ^heaps/
 
    12 ^browser_info/
 
    13 ^browser_info/
 
    13 ^doc-src/.*\.aux
 
    14 ^doc-src/.*\.aux
 
    14 ^doc-src/.*\.bbl
 
    15 ^doc-src/.*\.bbl
 
    15 ^doc-src/.*\.blg
 
    16 ^doc-src/.*\.blg
isabelle