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, 11 Dec 2013 22:23:42 +0800
changeset 54715 a13aa1cac0e8
parent 48835 574042d14fd9
permissions -rw-r--r--
truncate proof once False is hit to avoid confusing the rest of the code (no idea why Z3 goes on)

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