|
2294
|
1 |
#
|
|
|
2 |
# $Id$
|
|
|
3 |
#
|
|
2309
|
4 |
# Isabelle settings -- site defaults.
|
|
|
5 |
|
|
2294
|
6 |
|
|
|
7 |
## user isabelle directory
|
|
|
8 |
|
|
|
9 |
ISABELLE_HOME_USER=~/isabelle
|
|
|
10 |
|
|
|
11 |
|
|
|
12 |
## machines to be selected randomly
|
|
|
13 |
|
|
|
14 |
#ISABELLE_HOSTS="sunbroy49 sunbroy53"
|
|
|
15 |
ISABELLE_HOSTS=""
|
|
|
16 |
|
|
|
17 |
|
|
|
18 |
## logic images
|
|
|
19 |
|
|
|
20 |
ISABELLE_PATH=$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps
|
|
|
21 |
ISABELLE_OUTPUT=$ISABELLE_HOME_USER/heaps
|
|
|
22 |
|
|
|
23 |
DEFAULT_LOGIC=HOL
|
|
|
24 |
|
|
|
25 |
|
|
|
26 |
## interfaces
|
|
|
27 |
|
|
|
28 |
#ISABELLE_INTERFACE=none
|
|
|
29 |
#ISABELLE_INTERFACE_OPTIONS=""
|
|
|
30 |
|
|
|
31 |
ISABELLE_INTERFACE=xterm
|
|
|
32 |
ISABELLE_INTERFACE_OPTIONS="-geometry 80x55"
|
|
|
33 |
ISABELLE_SYMBOLS=true
|
|
|
34 |
|
|
|
35 |
#ISABELLE_INTERFACE=emacs
|
|
|
36 |
#ISABELLE_INTERFACE_OPTIONS=""
|
|
|
37 |
#ISABELLE_SYMBOLS=true
|
|
2309
|
38 |
#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
|
|
2294
|
39 |
|
|
|
40 |
|
|
|
41 |
## ML compilers and options
|
|
|
42 |
|
|
|
43 |
#ML_SYSTEM=polyml-2.07
|
|
|
44 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
|
|
|
45 |
#ML_OPTIONS="-h 30000"
|
|
|
46 |
|
|
|
47 |
ML_SYSTEM=polyml-3.1
|
|
|
48 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
|
|
|
49 |
ML_OPTIONS="-h 30000"
|
|
|
50 |
|
|
|
51 |
#ML_SYSTEM=smlnj-0.93
|
|
|
52 |
|
|
|
53 |
#ML_SYSTEM=smlnj-1.07
|
|
|
54 |
#ML_HOME=/usr/local/sml107
|
|
|
55 |
#ML_OPTIONS="@SMLdebug=/dev/null"
|
|
|
56 |
|
|
|
57 |
#ML_SYSTEM=smlnj-1.09
|
|
|
58 |
|
|
|
59 |
|
|
|
60 |
## misc
|
|
|
61 |
|
|
|
62 |
DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
|