| author | Walther Neuper <wneuper@ist.tugraz.at> |
| Tue, 07 Feb 2017 08:57:42 +0100 | |
| changeset 59316 | 3a60188d9cc3 |
| parent 59180 | 85ec71012df8 |
| permissions | -rw-r--r-- |
| wneuper@59180 | 1 |
This directory contains some administrative tools for clones of the |
| wneuper@59180 | 2 |
Isabelle repository. They do not appear in proper distributions. |