17 # Poly/ML 3.x or later |
17 # Poly/ML 3.x or later |
18 POLYML_HOME=$(choosefrom \ |
18 POLYML_HOME=$(choosefrom \ |
19 "$ISABELLE_HOME/contrib/polyml" \ |
19 "$ISABELLE_HOME/contrib/polyml" \ |
20 "$ISABELLE_HOME/../polyml" \ |
20 "$ISABELLE_HOME/../polyml" \ |
21 "/usr/share/polyml" \ |
21 "/usr/share/polyml" \ |
22 "/usr/local/polyml") |
22 "/usr/local/polyml" \ |
|
23 "/opt/polyml") |
23 ML_SYSTEM=$("$POLYML_HOME/bin/polyml-version" 2>/dev/null || echo polyml) |
24 ML_SYSTEM=$("$POLYML_HOME/bin/polyml-version" 2>/dev/null || echo polyml) |
24 ML_PLATFORM=$("$POLYML_HOME/bin/polyml-platform" 2>/dev/null) |
25 ML_PLATFORM=$("$POLYML_HOME/bin/polyml-platform" 2>/dev/null) |
25 ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
26 ML_HOME="$POLYML_HOME/$ML_PLATFORM" |
26 ML_OPTIONS="-h 30000" |
27 ML_OPTIONS="-h 30000" |
27 |
28 |
149 ISABELLE_INTERFACE=$(choosefrom \ |
150 ISABELLE_INTERFACE=$(choosefrom \ |
150 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
151 "$ISABELLE_HOME/contrib/ProofGeneral/isar/interface" \ |
151 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
152 "$ISABELLE_HOME/../ProofGeneral/isar/interface" \ |
152 "/usr/share/ProofGeneral/isar/interface" \ |
153 "/usr/share/ProofGeneral/isar/interface" \ |
153 "/usr/local/ProofGeneral/isar/interface" \ |
154 "/usr/local/ProofGeneral/isar/interface" \ |
|
155 "/opt/ProofGeneral/isar/interface" \ |
154 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
156 "/usr/share/emacs/ProofGeneral/isar/interface" \ |
155 "$ISABELLE_INTERFACE") |
157 "$ISABELLE_INTERFACE") |
156 PROOFGENERAL_OPTIONS="" |
158 PROOFGENERAL_OPTIONS="" |
157 |
159 |
158 # X-Symbol mode for Proof General |
160 # X-Symbol mode for Proof General |
159 XSYMBOL_HOME=$(choosefrom \ |
161 XSYMBOL_HOME=$(choosefrom \ |
160 "$ISABELLE_HOME/contrib/x-symbol" \ |
162 "$ISABELLE_HOME/contrib/x-symbol" \ |
161 "$ISABELLE_HOME/../x-symbol" \ |
163 "$ISABELLE_HOME/../x-symbol" \ |
162 "/usr/share/x-symbol" \ |
164 "/usr/share/x-symbol" \ |
163 "/usr/local/x-symbol" \ |
165 "/usr/local/x-symbol" \ |
|
166 "/opt/x-symbol" \ |
164 "") |
167 "") |
165 #required for remote fonts only ... |
168 #required for remote fonts only ... |
166 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
169 #XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200" |
167 |
170 |
168 |
171 |