X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fstyle%2Fexpandobj.xsl;h=6c61823d871e180fee70c9a781984e523981da90;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=ee53cf2de0cb28876dd6f4f0e726abf66c30fea3;hpb=0f23d999f409f3fed9ae6b7d6c45404e9818eab4;p=helm.git

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 @@
 <!-- First draft: March 08 2001, Irene Schena                              -->
 <!--***********************************************************************--> 
 
-<xsl:stylesheet version="0.1" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
+<xsl:stylesheet version="1.0" xmlns:xsl="http://www.w3.org/1999/XSL/Transform"
                               xmlns:ht="http://www.cs.unibo.it/helm/namespaces/helm-theory">
 
 <!--******************************************************************-->