1.1 --- a/etc/user-settings.sample	Mon Feb 05 14:30:55 2001 +0100
     1.2 +++ b/etc/user-settings.sample	Mon Feb 05 14:31:49 2001 +0100
     1.3 @@ -1,11 +1,7 @@
     1.4 +# -*- shell-script -*-
     1.5 +# $Id$
     1.6  #
     1.7 -# $Id$
     1.8 -# Author: Markus Wenzel, TU Muenchen
     1.9 -# License: GPL (GNU GENERAL PUBLIC LICENSE)
    1.10 -#
    1.11 -# Isabelle user settings sample (everything commented out)
    1.12 -#   -- may be copied to ~/isabelle/etc/settings
    1.13 -#
    1.14 +# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
    1.15  
    1.16  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.17  ISABELLE_LOGIC=HOL