author | wenzelm |
Sun, 13 Mar 2011 17:28:14 +0100 | |
changeset 41950 | 134131d519c0 |
parent 41947 | 0b8a13b145e9 |
permissions | -rw-r--r-- |
41308 | 1 |
# -*- shell-script -*- :mode=shellscript: |
2 |
||
32332 | 3 |
ISABELLE_SUM_OF_SQUARES="$COMPONENT" |
41947 | 4 |
ISABELLE_NEOS_SERVER="http://neos-server.org:3332" |
41475
fe4f0d9f9dbb
updated NEOS_SERVER, which is now provided via settings;
wenzelm
parents:
41474
diff
changeset
|
5 |
|
41950
134131d519c0
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
wenzelm
parents:
41947
diff
changeset
|
6 |
# local SDP Solver, cf. https://projects.coin-or.org/Csdp |
134131d519c0
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
wenzelm
parents:
41947
diff
changeset
|
7 |
#ISABELLE_CSDP="/usr/local/bin/csdp" |
134131d519c0
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
wenzelm
parents:
41947
diff
changeset
|
8 |