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
Thu, 27 Dec 2012 16:49:12 +0100
changeset 50624 4d0997abce79
parent 48835 574042d14fd9
permissions -rw-r--r--
improved thm order hack, in case the default names are overridden

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