From 4df1801e4b86a7ab64211b65e8072adcb7787c62 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 10 Jun 2002 14:32:19 +0000 Subject: [PATCH] XSL Version 0.1 ==> 1.0 --- helm/style/mk_dep_graph.xsl | 2 +- helm/style/mk_meta_and_dep_graph.xsl | 2 +- helm/style/mk_meta_theory.xsl | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/helm/style/mk_dep_graph.xsl b/helm/style/mk_dep_graph.xsl index d06bc2fb8..4cdc17f35 100644 --- a/helm/style/mk_dep_graph.xsl +++ b/helm/style/mk_dep_graph.xsl @@ -24,7 +24,7 @@ - + diff --git a/helm/style/mk_meta_and_dep_graph.xsl b/helm/style/mk_meta_and_dep_graph.xsl index 4415ca90a..a9a9a954b 100644 --- a/helm/style/mk_meta_and_dep_graph.xsl +++ b/helm/style/mk_meta_and_dep_graph.xsl @@ -30,7 +30,7 @@ "> ]> - diff --git a/helm/style/mk_meta_theory.xsl b/helm/style/mk_meta_theory.xsl index c1bb71d59..3a07962a9 100644 --- a/helm/style/mk_meta_theory.xsl +++ b/helm/style/mk_meta_theory.xsl @@ -24,7 +24,7 @@ -