From: Claudio Sacerdoti Coen Date: Mon, 18 Dec 2000 17:55:53 +0000 (+0000) Subject: Some spaces at the content level eliminated. X-Git-Tag: nogzip~93 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=402d69254737c64b36cf00e223f520c53faf33db;p=helm.git Some spaces at the content level eliminated. --- diff --git a/helm/style/objcontent.xsl b/helm/style/objcontent.xsl index 112e73ab1..2e70505d0 100644 --- a/helm/style/objcontent.xsl +++ b/helm/style/objcontent.xsl @@ -48,10 +48,10 @@ --> - + - + @@ -64,7 +64,7 @@ - + @@ -77,10 +77,10 @@ - + - + @@ -121,7 +121,7 @@ - + diff --git a/helm/style/proofs.xsl b/helm/style/proofs.xsl index 781ae3e42..ba45ee0dc 100644 --- a/helm/style/proofs.xsl +++ b/helm/style/proofs.xsl @@ -63,7 +63,7 @@ attribute::uri='cic:/Coq/Zarith/auxiliary/eqT_ind_r.con'] and count(child::*) = 7"> thread - + rw_step @@ -93,7 +93,7 @@ or_ind - + @@ -101,7 +101,7 @@ thread - + app @@ -114,7 +114,7 @@ proof - + @@ -138,7 +138,7 @@ attribute::uri='cic:/Coq/Init/Logic_Type/eqT_ind.con' or attribute::uri='cic:/Coq/Zarith/auxiliary/eqT_ind_r.con'] and count(child::*) = 7"> - + rw_step @@ -161,7 +161,7 @@ thread - + app