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
Thu, 02 Oct 2014 11:33:06 +0200
changeset 58512 dc4d76dfa8f0
parent 48835 574042d14fd9
permissions -rw-r--r--
moved lemmas out of Int.thy which have nothing to do with int

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