changeset 48835 | 574042d14fd9 |
parent 36859 | 51af1657263b |
48834:94bb87ef7127 | 48835:574042d14fd9 |
---|---|
1 This directory contains some administrative tools for the Isabelle |
1 This directory contains some administrative tools for clones of the |
2 repository at TUM. They do not appear in proper distributions. |
2 Isabelle repository. They do not appear in proper distributions. |