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
Mon, 14 Oct 2013 10:55:49 +0200
changeset 54106 e5f853482006
parent 48835 574042d14fd9
permissions -rw-r--r--
keep temporary error handling in there until code equations are properly generated

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