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 krauss
Wed, 20 Apr 2011 14:43:04 +0200
changeset 42432 e1657125da76
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
added template diff against newer mercurials, where the 'ago' duplication has been fixed

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