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 Manuel Eberl <eberlm@in.tum.de>
Mon, 04 Feb 2019 17:19:04 +0100
changeset 69791 195aeee8b30a
parent 48835 574042d14fd9
permissions -rw-r--r--
Formal Laurent series and overhaul of Formal power series (due to Jeremy Sylvestre)

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