From: Claudio Sacerdoti Coen Date: Mon, 12 Mar 2001 17:37:12 +0000 (+0000) Subject: Last update before dismission X-Git-Tag: v0_1_2~83 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=0a5287aabcd16a4d9de3a74ea94b01d3d223d3b0;p=helm.git Last update before dismission --- diff --git a/helm/cgi/mkcontrol.pl b/helm/cgi/mkcontrol.pl index 5acadae56..e314aa778 100755 --- a/helm/cgi/mkcontrol.pl +++ b/helm/cgi/mkcontrol.pl @@ -40,6 +40,8 @@ Content-type: text/html Control panel + @@ -81,12 +83,14 @@ print < Reload
(do it also before attempting to take a link to the current page) - - - - - - + diff --git a/helm/cgi/mkindexcic.pl b/helm/cgi/mkindexcic.pl index 6e0a566b1..a31f5ecfb 100755 --- a/helm/cgi/mkindexcic.pl +++ b/helm/cgi/mkindexcic.pl @@ -39,7 +39,7 @@ if ($uri ne "cic:/") { $output = < [BACK] -Parent Directory +Parent Directory EOT } @@ -53,7 +53,7 @@ foreach $i (@filenames) { $output .= < [DIR] -$name +$name EOT diff --git a/helm/cgi/mkindextheory.pl b/helm/cgi/mkindextheory.pl index c92321f12..424f688ff 100755 --- a/helm/cgi/mkindextheory.pl +++ b/helm/cgi/mkindextheory.pl @@ -39,7 +39,7 @@ if ($uri ne "theory:/") { $output = < [BACK] -Parent Directory +Parent Directory EOT } @@ -53,7 +53,7 @@ foreach $i (@filenames) { $output .= < [DIR] -$name +$name EOT } elsif ($type eq "object") {