Admin/README
changeset 36859 51af1657263b
parent 27635 66fcb7e9baef
child 48835 574042d14fd9
equal deleted inserted replaced
36858:8eac822dec6c 36859:51af1657263b
     1 
       
     2 $Id$
       
     3 
       
     4 This directory contains some administrative tools for the Isabelle
     1 This directory contains some administrative tools for the Isabelle
     5 repository at TUM.  They do not appear in proper distributions.
     2 repository at TUM.  They do not appear in proper distributions.