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
Thu, 22 May 2014 13:07:53 +0200
changeset 57060 7a1167331c8c
parent 48835 574042d14fd9
permissions -rw-r--r--
disable weights that cause more harm than they help in kNN

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