From: Andrea Asperti Date: Tue, 28 Aug 2001 11:12:25 +0000 (+0000) Subject: Espansione dinamica delle prove per Mozilla/Galeon. X-Git-Tag: v0_1_3~91 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=82909979b625f10a91025786301c08b8ac620179;p=helm.git Espansione dinamica delle prove per Mozilla/Galeon. --- diff --git a/helm/style/content_to_html.xsl b/helm/style/content_to_html.xsl index 1211e4881..9d0e56735 100644 --- a/helm/style/content_to_html.xsl +++ b/helm/style/content_to_html.xsl @@ -167,8 +167,32 @@ <xsl:value-of select="$CICURI"/> + + + if(document.getElementById) + for(var i=0;i<document.to_be_deleted.length;i++) + Hide(document.getElementById(document.to_be_deleted[i])); + @@ -1048,15 +1072,54 @@ - - - -
- - - - - we proved  + + + + + + + + +   + + + +
+ + + + we proved  + + + + +