| changeset 9818 | 71de955e8fc9 |
| parent 9787 | fb8c5a66dbe8 |
| child 9948 | 3a01ecb6f65d |
--- a/etc/settings Sun Sep 03 20:00:34 2000 +0200 +++ b/etc/settings Sun Sep 03 20:01:27 2000 +0200 @@ -1,5 +1,7 @@ # # $Id$ +# Author: Markus Wenzel, TU Muenchen +# License: GPL (GNU GENERAL PUBLIC LICENSE) # # Isabelle settings -- site defaults. # Do *NOT* copy this file into your personal isabelle directory!!!