1.1 --- a/etc/settings	Sun Jun 20 09:30:12 2004 +0200
     1.2 +++ b/etc/settings	Mon Jun 21 10:25:57 2004 +0200
     1.3 @@ -1,7 +1,6 @@
     1.4  # -*- shell-script -*-
     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!!!