X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fon-line%2Fjavascript%2Fdefaults.js;fp=helm%2Fon-line%2Fjavascript%2Fdefaults.js;h=0000000000000000000000000000000000000000;hb=e108abe5c0b4eb841c4ad332229a6c0e57e70079;hp=2174375dc7d0becf221476d5903bac8ecd449c23;hpb=1456c337a60f6677ee742ff7891d43fc382359a9;p=helm.git

diff --git a/helm/on-line/javascript/defaults.js b/helm/on-line/javascript/defaults.js
deleted file mode 100644
index 2174375dc..000000000
--- a/helm/on-line/javascript/defaults.js
+++ /dev/null
@@ -1,25 +0,0 @@
-
-function getDefaultParam(name)
-{
-  switch (name) {
-  case "processorURL":
-    return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
-  case "getterURL":
-    return "http://phd.cs.unibo.it:8081/"; 
-  case "draw_graphURL":
-    return "http://phd.cs.unibo.it:8083/"; 
-  case "uri_set_queueURL":
-    return "http://phd.cs.unibo.it:8084/"; 
-  case "UNICODEvsSYMBOL":
-    return "symbol";
-  case "cicuri":
-    return "cic:/";
-  case "theoryuri":
-    return "theory:/";
-  case "mode":
-    return "processed,cic,html,yes,no,normal,no";
-  }
-  
-  return "???";
-}
-