etc/settings

Quantifier elimination procs.

+
−#
+
−# $Id$
+
−#
+
−# Isabelle settings -- site defaults.
+
−#
+
−
+
−###
+
−### ML compiler settings (ESSENTIAL!)
+
−###
+
−
+
−## Uncomment and adapt one of the sections below.  Note that ML_HOME
+
−## specifies the location of the actual compiler binaries.
+
−
+
−# Poly/ML 2.x
+
−#ML_SYSTEM=polyml-2.07
+
−#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
+
−#ML_OPTIONS="-h 30000"
+
−
+
−# Poly/ML 3.1
+
−ML_SYSTEM=polyml-3.1
+
−ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
+
−ML_OPTIONS="-h 30000"
+
−LM_LICENSE_FILE=$ML_HOME/license.dat
+
−
+
−# Standard ML of New Jersey 0.93
+
−#ML_SYSTEM=smlnj-0.93
+
−#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src
+
−#ML_OPTIONS=""
+
−
+
−# Standard ML of New Jersey 1.09.27 or later
+
−#ML_SYSTEM=smlnj-1.09
+
−#ML_HOME=/usr/local/sml109.27/bin
+
−#ML_OPTIONS="@SMLdebug=/dev/null"
+
−
+
−
+
−###
+
−### Compilation options
+
−###
+
−
+
−ISABELLE_USEDIR_OPTIONS=""
+
−
+
−
+
−###
+
−### Misc path settings
+
−###
+
−
+
−# The place for user configuration, heap files, etc.
+
−ISABELLE_HOME_USER=~/isabelle
+
−
+
−# Where to look for isabelle tools (multiple dirs separated by ':').
+
−ISABELLE_TOOLS=$ISABELLE_HOME/lib/Tools
+
−
+
−
+
−# Heap file locations. ML system identifier appended automatically!
+
−
+
−ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
+
−
+
−#A hack! 'build' tells us store heaps within the distribution.
+
−if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then
+
−  ISABELLE_OUTPUT=$ISABELLE_HOME/heaps
+
−  ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_info
+
−else
+
−  ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
+
−  ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_info
+
−fi
+
−
+
−#Users may want to change this.
+
−ISABELLE_LOGIC=HOL
+
−
+
−
+
−## Docs
+
−
+
−#Where to look for docs (multiple dirs separated by ':').
+
−ISABELLE_DOCS=$ISABELLE_HOME/doc
+
−
+
−#The dvi file viewer
+
−DVI_VIEWER=xdvi
+
−#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
+
−#DVI_VIEWER="xdvi -geometry 500x704 -expert -s 10"
+
−#DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
+
−
+
−
+
−## Fonts -- how to install the Isabelle X11 fonts (can be tricky!).
+
−
+
−# (1) Get fonts from local (client side) directory:
+
−ISABELLE_INSTALLFONTS="xset fp+ $ISABELLE_HOME/lib/fonts; xset fp rehash"
+
−
+
−# (2) Get from font server at Munich or Cambridge:
+
−#ISABELLE_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
+
−#ISABELLE_INSTALLFONTS="xset fp+ tcp/font-serv.cl.cam.ac.uk:7100"
+
−
+
−###
+
−### Interfaces
+
−###
+
−
+
−# Global options.
+
−ISABELLE_INTERFACE_OPTIONS=""
+
−
+
−
+
−# The null interface: pass-through to 'isabelle'.
+
−#ISABELLE_INTERFACE=none
+
−
+
−# Simple xterm based interface.
+
−ISABELLE_INTERFACE=xterm
+
−
+
−# Emacs running Isamode.
+
−#ISABELLE_INTERFACE=emacs
+
−ISAMODE_HOME=$ISABELLE_HOME/contrib/Isamode
+
−ISAMODE_EMACS="xemacs -q"