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
Mon, 28 Feb 2011 17:53:10 +0100
changeset 41859 c3a5912d0922
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
made "fixed_is_special_eligible_arg" smarter w.r.t. pairs, and fixed previous unintended behavior because "andalso" ties more tightly than "orelse"

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