# HG changeset patch # User wenzelm # Date 1300030694 -3600 # Node ID 0b8a13b145e98044017fd5f08aa7828ab8bfbb09 # Parent 380f7f5ff126e3ffa68f39b742150eba90fa0178 prefer qualified ISABELLE_NEOS_SERVER; diff -r 380f7f5ff126 -r 0b8a13b145e9 src/HOL/Library/Sum_of_Squares/etc/settings --- a/src/HOL/Library/Sum_of_Squares/etc/settings Sun Mar 13 16:30:02 2011 +0100 +++ b/src/HOL/Library/Sum_of_Squares/etc/settings Sun Mar 13 16:38:14 2011 +0100 @@ -1,5 +1,5 @@ # -*- shell-script -*- :mode=shellscript: ISABELLE_SUM_OF_SQUARES="$COMPONENT" -NEOS_SERVER="http://neos-server.org:3332" +ISABELLE_NEOS_SERVER="http://neos-server.org:3332" diff -r 380f7f5ff126 -r 0b8a13b145e9 src/HOL/Library/Sum_of_Squares/neos_csdp_client --- a/src/HOL/Library/Sum_of_Squares/neos_csdp_client Sun Mar 13 16:30:02 2011 +0100 +++ b/src/HOL/Library/Sum_of_Squares/neos_csdp_client Sun Mar 13 16:38:14 2011 +0100 @@ -7,7 +7,7 @@ import os # Neos server config -neos = xmlrpclib.Server(os.getenv("NEOS_SERVER")) +neos = xmlrpclib.Server(os.getenv("ISABELLE_NEOS_SERVER")) jobNumber = 0 password = ""