return document.rdflyURL.elements[0].value;
}
+function getInterfaceURL()
+{
+ return document.interfaceURL.elements[0].value;
+}
+
function getUNICODEvsSYMBOL()
{
if (document.UNICODEvsSYMBOL.radioUNICODEvsSYMBOL[0].checked)
'¶m.draw_graphURL=' + escape(getDrawGraphURL()) +
'¶m.proofcheckerURL=' + escape(getProofCheckerURL()) +
'¶m.rdflyURL=' + escape(getRdflyURL()) +
+ '¶m.interfaceURL=' + escape(getInterfaceURL()) +
'¶m.naturalLanguage=' + escape(getNaturalLanguage()) +
'¶m.uri_set_size=' + escape(getMaxGraphSize()) +
'¶m.UNICODEvsSYMBOL=' + escape(getUNICODEvsSYMBOL());
}
}
+function selectInterfaceURL(ss)
+{
+ if (ss.selectedIndex == 0) {
+ document.interfaceURL.elements[0].value = "";
+ } else {
+ document.interfaceURL.elements[0].value = "http://helm.cs.unibo.it/helm";
+ }
+}
+
function selectProfile(ss, interfaceURL)
{
location = getUwoboURL() +