etc/user-settings.sample
changeset 11062 e86340dc1d28
parent 9818 71de955e8fc9
child 14448 ba25d002a59c
     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 -#
     1.5 +# -*- shell-script -*-
     1.6  # $Id$
     1.7 -# Author: Markus Wenzel, TU Muenchen
     1.8 -# License: GPL (GNU GENERAL PUBLIC LICENSE)
     1.9  #
    1.10 -# Isabelle user settings sample (everything commented out)
    1.11 -#   -- may be copied to ~/isabelle/etc/settings
    1.12 -#
    1.13 +# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings
    1.14  
    1.15  ISABELLE_USEDIR_OPTIONS="-i true -d pdf"
    1.16  ISABELLE_LOGIC=HOL