wenzelm@2427: #
wenzelm@2427: # $Id$
wenzelm@2427: #
wenzelm@2436: # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings.
wenzelm@2427: #
wenzelm@2427: 
wenzelm@2427: ###
wenzelm@2436: ### Compilation options
wenzelm@2436: ###
wenzelm@2436: 
wenzelm@2436: #ISABELLE_HTML=false
wenzelm@2436: 
wenzelm@2436: 
wenzelm@2436: ###
wenzelm@2427: ### Heap files
wenzelm@2427: ###
wenzelm@2427: 
wenzelm@2427: # Note: ML system and platform info is appended automatically!
wenzelm@2599: #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
wenzelm@2427: 
wenzelm@2427: #DEFAULT_LOGIC=ZF
wenzelm@2427: #DEFAULT_LOGIC=HOL
wenzelm@2427: #DEFAULT_LOGIC=HOLCF
wenzelm@2427: 
wenzelm@2427: 
wenzelm@2427: ###
wenzelm@2427: ### Interfaces
wenzelm@2427: ###
wenzelm@2427: 
wenzelm@2785: # Simple xterm based interface.
wenzelm@2427: #ISABELLE_INTERFACE=xterm
wenzelm@2599: #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"