Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
prefer qualified ISABELLE_NEOS_SERVER;
authorwenzelm
Sun, 13 Mar 2011 16:38:14 +0100
changeset 41947 0b8a13b145e9
parent 41946 380f7f5ff126
child 41948 30732d2390c8
prefer qualified ISABELLE_NEOS_SERVER;
src/HOL/Library/Sum_of_Squares/etc/settings file | annotate | diff | comparison | revisions
src/HOL/Library/Sum_of_Squares/neos_csdp_client file | annotate | diff | comparison | revisions 
--- 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"
 
--- 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 = ""
isabelle