1.1 --- a/etc/settings	Sun Sep 03 20:00:34 2000 +0200
     1.2 +++ b/etc/settings	Sun Sep 03 20:01:27 2000 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  #
     1.5  # $Id$
     1.6 +# Author: Markus Wenzel, TU Muenchen
     1.7 +# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.8  #
     1.9  # Isabelle settings -- site defaults.
    1.10  # Do *NOT* copy this file into your personal isabelle directory!!!