## $Id$## Isabelle settings -- site defaults.# Do *NOT* copy this file into your personal isabelle directory!###### 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 3.xPOLYML_HOME=$ISABELLE_HOME/../polymlML_PLATFORM=$($POLYML_HOME/bin/polyml-platform 2>/dev/null)ML_HOME=$POLYML_HOME/$ML_PLATFORMML_SYSTEM=polyml-3.xML_OPTIONS="-h 30000"# Standard ML of New Jersey 110 or later#ML_SYSTEM=smlnj-110#ML_HOME=$ISABELLE_HOME/../smlnj/bin#ML_OPTIONS="@SMLdebug=/dev/null"#ML_PLATFORM=$(eval $($ML_HOME/.arch-n-opsys 2>/dev/null); echo $HEAP_SUFFIX)# MLWorks 2.0 or later#ML_SYSTEM=mlworks#ML_HOME=/usr/local/mlworks/bin#ML_OPTIONS=""#ML_PLATFORM=""# Poly/ML 2.x#ML_SYSTEM=polyml-2.07#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2#ML_OPTIONS="-h 30000"#ML_PLATFORM=""# Standard ML of New Jersey 0.93#ML_SYSTEM=smlnj-0.93#ML_HOME=/usr/local/ldist/DIR/sml-0.93/src#ML_OPTIONS=""#ML_PLATFORM=""###### Compilation options###ISABELLE_USEDIR_OPTIONS="-i false"#ISABELLE_USEDIR_OPTIONS="-i true -d pdf"###### Document preparation###TEXINPUTS="$ISABELLE_HOME/lib/texinputs:$TEXINPUTS"ISABELLE_LATEX="latex"ISABELLE_PDFLATEX="pdflatex"ISABELLE_BIBTEX="bibtex"ISABELLE_DVIPS="dvips -D 600"# The thumbpdf tool is probably not generally available ...#ISABELLE_THUMBPDF="thumbpdf"###### 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# Location for temporary files (should be on a local file system).ISABELLE_TMP_PREFIX=/tmp/isabelle-$USER# Heap file locations. ML system identifier appended automatically!ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps#A hack! Isabelle build tells us to store heaps etc. within the#distribution.if [ "$THIS_IS_ISABELLE_BUILD" = true ]; then ISABELLE_OUTPUT=$ISABELLE_HOME/heaps ISABELLE_BROWSER_INFO=$ISABELLE_HOME/browser_infoelse ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps ISABELLE_BROWSER_INFO=$ISABELLE_HOME_USER/browser_infofi#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 viewerDVI_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#### The null interface: pass-through to 'isabelle'.#ISABELLE_INTERFACE=none# Simple xterm based interface.ISABELLE_INTERFACE=xtermISABELLE_XTERM_OPTIONS=""# Emacs running Isamode.#ISABELLE_INTERFACE=emacsISAMODE_HOME=$ISABELLE_HOME/contrib/IsamodeISAMODE_OPTIONS=""# Emacs running Proof General.#ISABELLE_INTERFACE=$ISABELLE_HOME/contrib/ProofGeneral/isar/interfacePROOFGENERAL_OPTIONS=""###### External reasoning tools##### Set HOME only for tools you have installed!# SVC (Stanford Validity Checker)#SVC_HOME=#SVC_MACHINE=i386-redhat-linux#SVC_MACHINE=sparc-sun-solaris# Mucke (mu-calculus model checker)#MUCKE_HOME=/usr/local/bin# Einhoven model checker#EINDHOVEN_HOME=/usr/local/bin