| author | wenzelm |
| Tue, 11 Mar 1997 16:17:26 +0100 | |
| changeset 2785 | 27a17c846021 |
| parent 2599 | 652e202b7ddb |
| child 2937 | 9d31c472d0b0 |
| permissions | -rw-r--r-- |
| wenzelm@2427 | 1 |
# |
| wenzelm@2427 | 2 |
# $Id$ |
| wenzelm@2427 | 3 |
# |
| wenzelm@2436 | 4 |
# Isabelle user settings sample -- may be copied to ~/isabelle/etc/settings. |
| wenzelm@2427 | 5 |
# |
| wenzelm@2427 | 6 |
|
| wenzelm@2427 | 7 |
### |
| wenzelm@2436 | 8 |
### Compilation options |
| wenzelm@2436 | 9 |
### |
| wenzelm@2436 | 10 |
|
| wenzelm@2436 | 11 |
#ISABELLE_HTML=false |
| wenzelm@2436 | 12 |
|
| wenzelm@2436 | 13 |
|
| wenzelm@2436 | 14 |
### |
| wenzelm@2427 | 15 |
### Heap files |
| wenzelm@2427 | 16 |
### |
| wenzelm@2427 | 17 |
|
| wenzelm@2427 | 18 |
# Note: ML system and platform info is appended automatically! |
| wenzelm@2599 | 19 |
#ISABELLE_PATH=other-places-where-heaps-may-reside:$ISABELLE_PATH |
| wenzelm@2427 | 20 |
|
| wenzelm@2427 | 21 |
#DEFAULT_LOGIC=ZF |
| wenzelm@2427 | 22 |
#DEFAULT_LOGIC=HOL |
| wenzelm@2427 | 23 |
#DEFAULT_LOGIC=HOLCF |
| wenzelm@2427 | 24 |
|
| wenzelm@2427 | 25 |
|
| wenzelm@2427 | 26 |
### |
| wenzelm@2427 | 27 |
### Interfaces |
| wenzelm@2427 | 28 |
### |
| wenzelm@2427 | 29 |
|
| wenzelm@2785 | 30 |
# Simple xterm based interface. |
| wenzelm@2427 | 31 |
#ISABELLE_INTERFACE=xterm |
| wenzelm@2599 | 32 |
#ISABELLE_INTERFACE_OPTIONS="-g 80x50 -s false" |