wenzelm@2427: #
wenzelm@2427: # $Id$
wenzelm@2427: #
wenzelm@3179: # Isabelle user settings sample (everything commented out)
wenzelm@3179: #   -- some parts may be copied into ~/isabelle/etc/settings.
wenzelm@2427: #
wenzelm@2427: 
wenzelm@2427: ###
wenzelm@2436: ### Compilation options
wenzelm@2436: ###
wenzelm@2436: 
wenzelm@3749: #ISABELLE_USEDIR_OPTIONS="-i true"
wenzelm@2436: 
wenzelm@2436: 
wenzelm@2436: ###
wenzelm@2427: ### Heap files
wenzelm@2427: ###
wenzelm@2427: 
wenzelm@3118: # Note: ML system identifier appended automatically!
wenzelm@3118: 
wenzelm@2599: #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
wenzelm@3118: #ISABELLE_OUTPUT=somewhere-else
wenzelm@2427: 
wenzelm@3184: #ISABELLE_LOGIC=ZF
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@2968: 
wenzelm@3289: # Emacs running Isamode.
wenzelm@2968: #ISABELLE_INTERFACE=emacs