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, 09 Mar 2011 10:25:29 +0100
changeset 41897 c24e7fd17464
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
perform no arity check in debug mode so that we get to see the Kodkod problem

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