Admin/README
author blanchet
Mon, 19 May 2014 23:43:53 +0200
changeset 57005 33f3d2ea803d
parent 48835 574042d14fd9
permissions -rw-r--r--
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution

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