Mercurial Mercurial > repos > isabelle / file revision
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.
Admin/README
author blanchet
Wed, 23 Apr 2014 10:23:27 +0200
changeset 56643 41d3596d8a64
parent 48835 574042d14fd9
permissions -rw-r--r--
move size hooks together, with new one preceding old one and sharing same theory data

This directory contains some administrative tools for clones of the
Isabelle repository.  They do not appear in proper distributions.
isabelle