src/HOL/Library/Sum_of_Squares/neos_csdp_client

 import time
 import re
 import os
 
 # Neos server config
-neos = xmlrpclib.Server(os.getenv("NEOS_SERVER"))
+neos = xmlrpclib.Server(os.getenv("ISABELLE_NEOS_SERVER"))
 
 jobNumber = 0
 password = ""
 inputfile = None
 outputfile = None