wenzelm@2294: #
wenzelm@2294: # $Id$
wenzelm@2294: #
wenzelm@2309: # Isabelle settings -- site defaults.
wenzelm@2309: 
wenzelm@2294: 
wenzelm@2294: ## user isabelle directory
wenzelm@2294: 
wenzelm@2294: ISABELLE_HOME_USER=~/isabelle
wenzelm@2294: 
wenzelm@2294: 
wenzelm@2294: ## machines to be selected randomly
wenzelm@2294: 
wenzelm@2294: #ISABELLE_HOSTS="sunbroy49 sunbroy53"
wenzelm@2294: ISABELLE_HOSTS=""
wenzelm@2294: 
wenzelm@2294: 
wenzelm@2294: ## logic images
wenzelm@2294: 
wenzelm@2294: ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
wenzelm@2294: ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
wenzelm@2294: 
wenzelm@2294: DEFAULT_LOGIC=HOL
wenzelm@2294: 
wenzelm@2294: 
wenzelm@2345: ## documentation
wenzelm@2345: 
wenzelm@2345: ISABELLE_DOCS=$ISABELLE_HOME/doc
wenzelm@2345: 
wenzelm@2345: 
wenzelm@2294: ## interfaces
wenzelm@2294: 
wenzelm@2294: #ISABELLE_INTERFACE=none
wenzelm@2294: #ISABELLE_INTERFACE_OPTIONS=""
wenzelm@2294: 
wenzelm@2294: ISABELLE_INTERFACE=xterm
wenzelm@2345: ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
wenzelm@2294: ISABELLE_SYMBOLS=true
wenzelm@2294: 
wenzelm@2294: #ISABELLE_INTERFACE=emacs
wenzelm@2294: #ISABELLE_INTERFACE_OPTIONS=""
wenzelm@2294: #ISABELLE_SYMBOLS=true
wenzelm@2309: #ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
wenzelm@2294: 
wenzelm@2294: 
wenzelm@2294: ## ML compilers and options
wenzelm@2294: 
wenzelm@2294: #ML_SYSTEM=polyml-2.07
wenzelm@2294: #ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
wenzelm@2294: #ML_OPTIONS="-h 30000"
wenzelm@2294: 
wenzelm@2294: ML_SYSTEM=polyml-3.1
wenzelm@2294: ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
wenzelm@2294: ML_OPTIONS="-h 30000"
wenzelm@2345: LM_LICENSE_FILE=$ML_HOME/license.dat
wenzelm@2294: 
wenzelm@2294: #ML_SYSTEM=smlnj-0.93
wenzelm@2294: 
wenzelm@2294: #ML_SYSTEM=smlnj-1.07
wenzelm@2294: #ML_HOME=/usr/local/sml107
wenzelm@2294: #ML_OPTIONS="@SMLdebug=/dev/null"
wenzelm@2294: 
wenzelm@2294: #ML_SYSTEM=smlnj-1.09
wenzelm@2294: 
wenzelm@2294: 
wenzelm@2294: ## misc
wenzelm@2294: 
wenzelm@2294: DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"