Admin/README
author wenzelm
Wed, 20 Jul 2016 11:44:11 +0200
changeset 63527 59eff6e56d81
parent 48835 574042d14fd9
permissions -rw-r--r--
moved method "use" to Pure; more documentation;

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