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 huffman
Wed, 27 Oct 2010 14:31:39 -0700
changeset 40323 4cce7c708402
parent 36859 51af1657263b
child 48835 574042d14fd9
permissions -rw-r--r--
add 'LAM (Def x). t' as alternative syntax for 'FLIFT x. t'

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