Admin/README
author wenzelm
Mon, 31 Mar 2014 12:35:39 +0200
changeset 56334 6b3739fee456
parent 48835 574042d14fd9
permissions -rw-r--r--
some shortcuts for chunks, which sometimes avoid bulky string output;

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