| changeset 27635 | 66fcb7e9baef |
| parent 2662 | ac88d5db1768 |
| child 36859 | 51af1657263b |
| 27634:be8b5001bc39 | 27635:66fcb7e9baef |
|---|---|
1 |
1 |
2 $Id$ |
2 $Id$ |
3 |
3 |
4 This directory contains some administrative tools for the Isabelle |
4 This directory contains some administrative tools for the Isabelle |
5 repository at TUM. They do not appear in public distributions. |
5 repository at TUM. They do not appear in proper distributions. |