updated NEOS_SERVER, which is now provided via settings;

--- a/src/HOL/Library/Sum_of_Squares/etc/settings	Sat Jan 08 17:39:51 2011 +0100
+++ b/src/HOL/Library/Sum_of_Squares/etc/settings	Sat Jan 08 18:01:10 2011 +0100
@@ -1,3 +1,5 @@
 # -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_SUM_OF_SQUARES="$COMPONENT"
+NEOS_SERVER="http://neos-server.org:3332"
+

--- a/src/HOL/Library/Sum_of_Squares/neos_csdp_client	Sat Jan 08 17:39:51 2011 +0100
+++ b/src/HOL/Library/Sum_of_Squares/neos_csdp_client	Sat Jan 08 18:01:10 2011 +0100
@@ -4,12 +4,10 @@
 import xmlrpclib
 import time
 import re
+import os
 
 # Neos server config
-NEOS_HOST="neos.mcs.anl.gov"
-NEOS_PORT=3332
-
-neos=xmlrpclib.Server("http://%s:%d" % (NEOS_HOST, NEOS_PORT))
+neos = xmlrpclib.Server(os.getenv("NEOS_SERVER"))
 
 jobNumber = 0
 password = ""