]> matita.cs.unibo.it Git - helm.git/blob - helm/on-line/javascript/defaults.js
Modified Files:
[helm.git] / helm / on-line / javascript / defaults.js
1
2 function getDefaultParam(name)
3 {
4   switch (name) {
5   case "processorURL":
6     return "http://phd.cs.unibo.it:8080/helm/servlet/uwobo/";
7   case "getterURL":
8     return "http://phd.cs.unibo.it:8081/"; 
9   case "cicuri":
10     return "cic:/";
11   case "theoryuri":
12     return "theory:/";
13   case "mode":
14     return "processed,cic,html,yes,no,normal,no";
15   }
16   
17   return "???";
18 }
19