]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/on-line/html/library/control.html
New implementation of the graphs stuff: now every hard-coded URL has
[helm.git] / helm / on-line / html / library / control.html
index 697bf0f55d16a00fe43fe8bbe509acff31c5157a..5d353fc0d8b4f4e376f7bd0a73ef89fc4109489d 100644 (file)
@@ -60,6 +60,8 @@
 <![CDATA[
        top.processorURL = getParam2('processorURL');
        top.getterURL = getParam2('getterURL');
+       top.draw_graphURL = getParam2('draw_graphURL');
+       top.uri_set_queueURL = getParam2('uri_set_queueURL');
        top.UNICODEvsSYMBOL = getParam2('UNICODEvsSYMBOL');
        top.topurl = getParam2('topurl');
        top.mode = getParam2('mode');