From: Claudio Sacerdoti Coen Date: Thu, 23 Aug 2001 13:16:04 +0000 (+0000) Subject: * Title added X-Git-Tag: v0_1_3~93 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=356934c522c7d3a7a359be4a0488a58236dd67d8;p=helm.git * Title added * Method onLoad="window.focus()" added. To be removed as soon as the window become a frame. --- diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index 34d6b1ccd..e613553d2 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -33,8 +33,12 @@ - - + + Occurrences of <xsl:value-of select="occurs/@who"/> + + + +