etc/settings
changeset 2309 390c1b6baaa5
parent 2294 a67343c87db4
child 2345 8e45991e3601
     1.1 --- a/etc/settings	Wed Dec 04 13:06:30 1996 +0100
     1.2 +++ b/etc/settings	Wed Dec 04 13:08:40 1996 +0100
     1.3 @@ -1,8 +1,8 @@
     1.4 -#
     1.5 -# Isabelle settings -- site defaults.
     1.6  #
     1.7  # $Id$
     1.8  #
     1.9 +# Isabelle settings -- site defaults.
    1.10 +
    1.11  
    1.12  ## user isabelle directory
    1.13  
    1.14 @@ -35,6 +35,7 @@
    1.15  #ISABELLE_INTERFACE=emacs
    1.16  #ISABELLE_INTERFACE_OPTIONS=""
    1.17  #ISABELLE_SYMBOLS=true
    1.18 +#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
    1.19  
    1.20  
    1.21  ## ML compilers and options