equal
deleted
inserted
replaced
40 #ML_SYSTEM=smlnj-110 |
40 #ML_SYSTEM=smlnj-110 |
41 #ML_HOME="$ISABELLE_HOME/../smlnj/bin" |
41 #ML_HOME="$ISABELLE_HOME/../smlnj/bin" |
42 #ML_OPTIONS="@SMLdebug=/dev/null" |
42 #ML_OPTIONS="@SMLdebug=/dev/null" |
43 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
43 #ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") |
44 |
44 |
|
45 # MLWorks 2.0 |
|
46 #ML_SYSTEM=mlworks |
|
47 #ML_HOME="$ISABELLE_HOME/../mlworks/bin" |
|
48 #ML_OPTIONS="" |
|
49 #ML_PLATFORM="" |
|
50 |
45 # Moscow ML 2.00 or later (experimental!) |
51 # Moscow ML 2.00 or later (experimental!) |
46 #ML_SYSTEM=mosml |
52 #ML_SYSTEM=mosml |
47 #ML_HOME="$ISABELLE_HOME/../mosml/bin" |
53 #ML_HOME="$ISABELLE_HOME/../mosml/bin" |
48 #ML_PLATFORM="" |
54 #ML_PLATFORM="" |
49 #ML_OPTIONS="" |
55 #ML_OPTIONS="" |
50 |
56 |
51 # MLWorks 2.0 |
|
52 #ML_SYSTEM=mlworks |
|
53 #ML_HOME="$ISABELLE_HOME/../mlworks/bin" |
|
54 #ML_OPTIONS="" |
|
55 #ML_PLATFORM="" |
|
56 |
|
57 # Standard ML of New Jersey 0.93 |
57 # Standard ML of New Jersey 0.93 |
58 #ML_SYSTEM=smlnj-0.93 |
58 #ML_SYSTEM=smlnj-0.93 |
59 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src |
59 #ML_HOME=/usr/local/ldist/DIR/sml-0.93/src |
60 #ML_OPTIONS="" |
60 #ML_OPTIONS="" |
61 #ML_PLATFORM="" |
61 #ML_PLATFORM="" |
77 ISABELLE_LATEX="latex" |
77 ISABELLE_LATEX="latex" |
78 ISABELLE_PDFLATEX="pdflatex" |
78 ISABELLE_PDFLATEX="pdflatex" |
79 ISABELLE_BIBTEX="bibtex" |
79 ISABELLE_BIBTEX="bibtex" |
80 ISABELLE_DVIPS="dvips -D 600" |
80 ISABELLE_DVIPS="dvips -D 600" |
81 |
81 |
|
82 # Paranoia setting ... |
|
83 #unset TEXMF |
|
84 |
82 # The thumbpdf tool is probably not generally available ... |
85 # The thumbpdf tool is probably not generally available ... |
83 #ISABELLE_THUMBPDF="thumbpdf" |
86 #type -path thumbpdf >/dev/null && ISABELLE_THUMBPDF="thumbpdf" |
84 |
87 |
85 |
88 |
86 ### |
89 ### |
87 ### Misc path settings |
90 ### Misc path settings |
88 ### |
91 ### |
173 "$ISABELLE_HOME/../x-symbol" \ |
176 "$ISABELLE_HOME/../x-symbol" \ |
174 "/usr/share/x-symbol" \ |
177 "/usr/share/x-symbol" \ |
175 "/usr/local/x-symbol" \ |
178 "/usr/local/x-symbol" \ |
176 "/opt/x-symbol" \ |
179 "/opt/x-symbol" \ |
177 "") |
180 "") |
178 #required for remote fonts only ... |
181 # Required for remote fonts only ... |
179 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
182 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
180 |
183 |
181 |
184 |
182 ### |
185 ### |
183 ### External reasoning tools |
186 ### External reasoning tools |