author | paulson |
Wed, 09 Apr 1997 12:37:44 +0200 | |
changeset 2925 | b0ae2e13db93 |
parent 2785 | 27a17c846021 |
child 2937 | 9d31c472d0b0 |
permissions | -rw-r--r-- |
# # $Id$ # # Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings. # ### ### Compilation options ### #ISABELLE_HTML=false ### ### Heap files ### # Note: ML system and platform info is appended automatically! #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH #DEFAULT_LOGIC=ZF #DEFAULT_LOGIC=HOL #DEFAULT_LOGIC=HOLCF ### ### Interfaces ### # Simple xterm based interface. #ISABELLE_INTERFACE=xterm #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"