1.1 --- a/etc/settings	Sat Jul 01 19:48:04 2000 +0200
     1.2 +++ b/etc/settings	Sat Jul 01 19:49:09 2000 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  # $Id$
     1.5  #
     1.6  # Isabelle settings -- site defaults.
     1.7 -# Do *NOT* copy this file into your personal isabelle directory!
     1.8 +# Do *NOT* copy this file into your personal isabelle directory!!!
     1.9  
    1.10  ###
    1.11  ### ML compiler settings (ESSENTIAL!)
    1.12 @@ -93,6 +93,10 @@
    1.13    ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
    1.14  fi
    1.15  
    1.16 +# Site settings check -- just to make it a little bit harder to copy this file!
    1.17 +[ -n "$ISABELLE_SITE_SETTINGS_PRESENT" ] && \
    1.18 +  { echo >&2 "### Isabelle site settings already present!  Maybe copied etc/settings in full?"; }
    1.19 +
    1.20  #Users may want to change this.
    1.21  ISABELLE_LOGIC=HOL
    1.22