etc/settings
changeset 2309 390c1b6baaa5
parent 2294 a67343c87db4
child 2345 8e45991e3601
equal deleted inserted replaced
2308:641be5ad47af 2309:390c1b6baaa5
     1 #
       
     2 # Isabelle settings -- site defaults.
       
     3 #
     1 #
     4 # $Id$
     2 # $Id$
     5 #
     3 #
       
     4 # Isabelle settings -- site defaults.
       
     5 
     6 
     6 
     7 ## user isabelle directory
     7 ## user isabelle directory
     8 
     8 
     9 ISABELLE_HOME_USER=~/isabelle
     9 ISABELLE_HOME_USER=~/isabelle
    10 
    10 
    33 ISABELLE_SYMBOLS=true
    33 ISABELLE_SYMBOLS=true
    34 
    34 
    35 #ISABELLE_INTERFACE=emacs
    35 #ISABELLE_INTERFACE=emacs
    36 #ISABELLE_INTERFACE_OPTIONS=""
    36 #ISABELLE_INTERFACE_OPTIONS=""
    37 #ISABELLE_SYMBOLS=true
    37 #ISABELLE_SYMBOLS=true
       
    38 #ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
    38 
    39 
    39 
    40 
    40 ## ML compilers and options
    41 ## ML compilers and options
    41 
    42 
    42 #ML_SYSTEM=polyml-2.07
    43 #ML_SYSTEM=polyml-2.07