X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fcgi%2Fmkcontrol.pl;h=e314aa778c855e8cf629d846693fbe06d2c55484;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=6e593d7d8d840b2a06906a29eaa06f26b2b15e16;hpb=d122e00855f9f44ac0d268e96cbe7b3dccd04db1;p=helm.git
diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl
index 6e593d7d8..e314aa778 100755
--- a/helm/cgi/mkcontrol.pl
+++ b/helm/cgi/mkcontrol.pl
@@ -21,6 +21,8 @@ $mode = $cgi->param('mode');
$cicuri = $cgi->param('cicuri');
$theoryuri = $cgi->param('theoryuri');
$topurl = $cgi->param('topurl');
+$processorURL = $cgi->param('processorURL');
+$getterURL = $cgi->param('getterURL');
($mode1,$mode2,$mode3,$mode4,$mode5) = split(/,/, $mode);
$natural = "checked" if ($mode4 eq "yes");
$annotations = "checked" if ($mode5 eq "yes");
@@ -38,7 +40,9 @@ Content-type: text/html
Control panel
-
@@ -77,12 +81,16 @@ print <
- Reload
+ Reload
(do it also before attempting to take a link to the current page)
-
-
-
-
+
|
@@ -90,6 +98,9 @@ print < Natural Language
Annotations
+ |
+ Configuration panel
+ |