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 haftmann
Fri, 09 Mar 2012 21:17:21 +0100
changeset 46852 0b8dd4c8c79a
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
more precise checking for wellformedness of mapper, before and after morphism application

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