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 73987 fc363a3b690a
parent 71411 839bf7d74fae
child 74010 4f60db51a263
equal deleted inserted replaced
73986:13168094175b 73987:fc363a3b690a 
    15 ^contrib
 
    15 ^contrib
 
    16 ^heaps/
 
    16 ^heaps/
 
    17 ^browser_info/
 
    17 ^browser_info/
 
    18 ^doc/.*\.pdf
 
    18 ^doc/.*\.pdf
 
    19 ^lib/classes/
 
    19 ^lib/classes/
 
    20 ^src/Tools/jEdit/dist/
 
       
    21 ^src/Tools/VSCode/out/
 
    20 ^src/Tools/VSCode/out/
 
    22 ^src/Tools/VSCode/extension/node_modules/
 
    21 ^src/Tools/VSCode/extension/node_modules/
 
    23 ^Admin/jenkins/ci-extras/target/
 
    22 ^Admin/jenkins/ci-extras/target/
isabelle