equal
deleted
inserted
replaced
253 # Second option: use the open source glpk solver |
253 # Second option: use the open source glpk solver |
254 #LP_SOLVER=GLPK |
254 #LP_SOLVER=GLPK |
255 #GLPK_PATH=glpsol |
255 #GLPK_PATH=glpsol |
256 |
256 |
257 # External provers |
257 # External provers |
258 #VAMPIRE_HOME=/usr/local/Vampire |
258 VAMPIRE_HOME=$(choosefrom \ |
259 #E_HOME=/usr/local/E |
259 "$ISABELLE_HOME/contrib/" \ |
|
260 "/usr/local/Vampire" \ |
|
261 "") |
|
262 |
|
263 E_HOME=$(choosefrom \ |
|
264 "$ISABELLE_HOME/contrib/" \ |
|
265 "/usr/local/E" \ |
|
266 "") |
|
267 |
|
268 SPASS_HOME=$(choosefrom \ |
|
269 "$ISABELLE_HOME/contrib/" \ |
|
270 "/usr/local/SPASS" \ |
|
271 "") |