| changeset 31582 | 4753c317d5c1 |
| parent 22410 | da313b67a04d |
| 31581:907616b9536c | 31582:4753c317d5c1 |
|---|---|
1 #!/usr/bin/env perl |
1 #!/usr/bin/env perl |
2 # |
2 # |
3 # $Id$ |
|
4 # Author: Florian Haftmann, TUM |
3 # Author: Florian Haftmann, TUM |
5 # |
4 # |
6 # Do consistency and quality checks on the isabelle sources |
5 # Do consistency and quality checks on the isabelle sources |
7 # |
6 # |
8 |
7 |