proofcheckerURL configuration parameter added

[helm.git] / helm / on-line / javascript / defaults.js

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
index db3172cfea6986ab1accbbe5d2b41f3bc8f97bf8..98dfed1c249de93dd45acc9788de14dfc486f6d2 100644 (file)
--- a/helm/on-line/javascript/defaults.js
+++ b/helm/on-line/javascript/defaults.js
@@ -10,6 +10,8 @@ function getDefaultParam(name)
     return "http://phd.cs.unibo.it:8083/"; 
   case "uri_set_queueURL":
     return "http://phd.cs.unibo.it:8084/"; 
+  case "proofcheckerURL":
+    return "http://mowgli.cs.unibo.it:48084/"; 
   case "UNICODEvsSYMBOL":
     return "symbol";
   case "cicuri":