4 # Isabelle user settings sample (everything commented out)
5 # -- some parts may be copied into ~/isabelle/etc/settings.
9 ### Compilation options
12 #ISABELLE_USEDIR_OPTIONS="-h true -g true"
19 # Note: ML system identifier appended automatically!
21 #ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH
22 #ISABELLE_OUTPUT=somewhere-else
31 # Simple xterm based interface.
32 #ISABELLE_INTERFACE=xterm
33 #ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false"
35 # GNU Emacs running Isamode.
36 #ISABELLE_INTERFACE=emacs
37 #ISABELLE_INTERFACE_OPTIONS=""