Admin/README
author blanchet
Wed, 11 Jun 2014 08:58:42 +0200
changeset 57207 df0f8ad7cc30
parent 48835 574042d14fd9
permissions -rw-r--r--
got rid of 'listF' example, which is now subsumed by the real 'list' type

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