|
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 |
|
|
2345
|
26 |
## documentation
|
|
|
27 |
|
|
|
28 |
ISABELLE_DOCS=$ISABELLE_HOME/doc
|
|
|
29 |
|
|
|
30 |
|
|
2294
|
31 |
## interfaces
|
|
|
32 |
|
|
|
33 |
#ISABELLE_INTERFACE=none
|
|
|
34 |
#ISABELLE_INTERFACE_OPTIONS=""
|
|
|
35 |
|
|
|
36 |
ISABELLE_INTERFACE=xterm
|
|
2345
|
37 |
ISABELLE_INTERFACE_OPTIONS="-geometry 80x52"
|
|
2294
|
38 |
ISABELLE_SYMBOLS=true
|
|
|
39 |
|
|
|
40 |
#ISABELLE_INTERFACE=emacs
|
|
|
41 |
#ISABELLE_INTERFACE_OPTIONS=""
|
|
|
42 |
#ISABELLE_SYMBOLS=true
|
|
2309
|
43 |
#ISAMODE_HOME=$ISABELLE_HOME/lib/Isamode
|
|
2294
|
44 |
|
|
|
45 |
|
|
|
46 |
## ML compilers and options
|
|
|
47 |
|
|
|
48 |
#ML_SYSTEM=polyml-2.07
|
|
|
49 |
#ML_HOME=/usr/local/ldist/DIR/polyml/polyml/solaris2
|
|
|
50 |
#ML_OPTIONS="-h 30000"
|
|
|
51 |
|
|
|
52 |
ML_SYSTEM=polyml-3.1
|
|
|
53 |
ML_HOME=/usr/local/ldist/DIR/polyml-3.1/polyml/sunos5.4
|
|
|
54 |
ML_OPTIONS="-h 30000"
|
|
2345
|
55 |
LM_LICENSE_FILE=$ML_HOME/license.dat
|
|
2294
|
56 |
|
|
|
57 |
#ML_SYSTEM=smlnj-0.93
|
|
|
58 |
|
|
|
59 |
#ML_SYSTEM=smlnj-1.07
|
|
|
60 |
#ML_HOME=/usr/local/sml107
|
|
|
61 |
#ML_OPTIONS="@SMLdebug=/dev/null"
|
|
|
62 |
|
|
|
63 |
#ML_SYSTEM=smlnj-1.09
|
|
|
64 |
|
|
|
65 |
|
|
|
66 |
## misc
|
|
|
67 |
|
|
2352
|
68 |
#DVI_VIEWER="xdvi -geometry 498x704 -expert -s 5"
|
|
|
69 |
DVI_VIEWER="xdvi -geometry 555x782 -expert -s 9"
|