From b3d5d4a1ac345d5d54fc91edaf320f01fa82f6b1 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 10 Jun 2002 14:33:48 +0000 Subject: [PATCH] XSLT Version 0.1 ==> 1.0 --- helm/style/expandobj.xsl | 2 +- helm/style/ricerca.xsl | 2 +- helm/style/theory_content.xsl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/style/expandobj.xsl b/helm/style/expandobj.xsl index ee53cf2de..6c61823d8 100644 --- a/helm/style/expandobj.xsl +++ b/helm/style/expandobj.xsl @@ -29,7 +29,7 @@ - diff --git a/helm/style/ricerca.xsl b/helm/style/ricerca.xsl index e22a2a943..d665eac51 100644 --- a/helm/style/ricerca.xsl +++ b/helm/style/ricerca.xsl @@ -24,7 +24,7 @@ - diff --git a/helm/style/theory_content.xsl b/helm/style/theory_content.xsl index d6ccafb4f..e3e50b1f1 100644 --- a/helm/style/theory_content.xsl +++ b/helm/style/theory_content.xsl @@ -29,7 +29,7 @@ - -- 2.39.2