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 74010 4f60db51a263
parent 73987 fc363a3b690a
child 75258 8d09013d8c68
equal deleted inserted replaced
74009:10abe3049bec 74010:4f60db51a263 
    14 
    14 
    15 ^contrib
 
    15 ^contrib
 
    16 ^heaps/
 
    16 ^heaps/
 
    17 ^browser_info/
 
    17 ^browser_info/
 
    18 ^doc/.*\.pdf
 
    18 ^doc/.*\.pdf
 
    19 ^lib/classes/
 
       
    20 ^src/Tools/VSCode/out/
 
    19 ^src/Tools/VSCode/out/
 
    21 ^src/Tools/VSCode/extension/node_modules/
 
    20 ^src/Tools/VSCode/extension/node_modules/
 
    22 ^Admin/jenkins/ci-extras/target/
 
    21 ^Admin/jenkins/ci-extras/target/
isabelle