Admin/README
author wenzelm
Wed May 12 13:54:49 2010 +0200 (2010-05-12)
changeset 36859 51af1657263b
parent 27635 66fcb7e9baef
child 48835 574042d14fd9
permissions -rw-r--r--
removed obsolete CVS Ids;
wenzelm@2662
     1
This directory contains some administrative tools for the Isabelle
wenzelm@27635
     2
repository at TUM.  They do not appear in proper distributions.