Admin/README
author nipkow
Fri, 07 Feb 2003 16:40:23 +0100
changeset 13810 c3fbfd472365
parent 2662 ac88d5db1768
child 27635 66fcb7e9baef
permissions -rw-r--r--
(*f -> ( *f because of new comments


$Id$

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