This commit was manufactured by cvs2svn to create branch 'moogle'.

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

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
deleted file mode 100644 (file)
index c8f89a7..0000000
--- a/helm/on-line/javascript/defaults.js
+++ /dev/null
@@ -1,27 +0,0 @@
-
-function getDefaultParam(name)
-{
-  switch (name) {
-  case "processorURL":
-    return "http://mowgli.cs.unibo.it:8081/helm/servlet/uwobo/";
-  case "getterURL":
-    return "http://mowgli.cs.unibo.it:48081/"; 
-  case "uri_set_queueURL":
-    return "http://mowgli.cs.unibo.it:48082/"; 
-  case "draw_graphURL":
-    return "http://mowgli.cs.unibo.it:48083/"; 
-  case "proofcheckerURL":
-    return "http://mowgli.cs.unibo.it:48084/"; 
-  case "UNICODEvsSYMBOL":
-    return "symbol";
-  case "cicuri":
-    return "cic:/";
-  case "theoryuri":
-    return "theory:/";
-  case "mode":
-    return "processed,cic,html,yes,no,normal,no";
-  }
-  
-  return "???";
-}
-