diff -r 60d091240485 -r fe4f0d9f9dbb src/HOL/Library/Sum_of_Squares/etc/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"
+