changeset 9818 | 71de955e8fc9 |
parent 9787 | fb8c5a66dbe8 |
child 9948 | 3a01ecb6f65d |
9817:6ad158576972 | 9818:71de955e8fc9 |
---|---|
1 # |
1 # |
2 # $Id$ |
2 # $Id$ |
3 # Author: Markus Wenzel, TU Muenchen |
|
4 # License: GPL (GNU GENERAL PUBLIC LICENSE) |
|
3 # |
5 # |
4 # Isabelle settings -- site defaults. |
6 # Isabelle settings -- site defaults. |
5 # Do *NOT* copy this file into your personal isabelle directory!!! |
7 # Do *NOT* copy this file into your personal isabelle directory!!! |
6 |
8 |
7 ### |
9 ### |