Oooops. After the last commit all the URLs were damaged.

[helm.git] / helm / style / mk_meta_theory.xsl
diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl

index bdae203af7837ef0c9827c468c1bc3b0a1cb1ffb..e613553d24f4dba052415c7376f807bb2b52dc3b 100644 (file)
--- a/helm/style/mk_meta_theory.xsl
+++ b/helm/style/mk_meta_theory.xsl
@@ -33,8 +33,12 @@
  
  <xsl:template match="/">
                 <html> 
-                <head></head>
-                <body bgcolor="white">
+                <head>
+                 <title>Occurrences of <xsl:value-of select="occurs/@who"/></title>
+                </head>
+                <!-- CSC: method onLoad to be removed once the window -->
+                <!-- CSC: becomes a frame                              -->
+                <body bgcolor="white" onLoad="window.focus()">
                  <xsl:apply-templates/>
                  </body>
                 </html>
@@ -203,16 +207,3 @@
  
  
  </xsl:stylesheet>
-
-
-
-
-
-
-
-
-
-
-
-
-