X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;fp=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=0000000000000000000000000000000000000000;hp=c8f89a77e5817739f0e2b64e9169047fe9948aca;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
deleted file mode 100644
index c8f89a77e..000000000
--- 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 "???";
-}
-