author | wenzelm |
Thu, 24 Jul 2014 15:54:56 +0200 | |
changeset 58991 | a43898f76ae9 |
parent 49850 | 574042d14fd9 |
permissions | -rw-r--r-- |
wenzelm@49850 | 1 |
This directory contains some administrative tools for clones of the |
wenzelm@49850 | 2 |
Isabelle repository. They do not appear in proper distributions. |