changeset 36859 | 51af1657263b |
parent 27635 | 66fcb7e9baef |
child 48835 | 574042d14fd9 |
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. |