From 356934c522c7d3a7a359be4a0488a58236dd67d8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 23 Aug 2001 13:16:04 +0000 Subject: [PATCH] * Title added * Method onLoad="window.focus()" added. To be removed as soon as the window become a frame. --- helm/style/mk_meta_theory.xsl | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) 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"/> + + + + -- 2.39.2