From e0b82162b9c15732848a13978bb521e325e81158 Mon Sep 17 00:00:00 2001 From: Andrea Asperti Date: Fri, 29 Jun 2001 14:05:12 +0000 Subject: [PATCH] ":" bug in theory_pres fixed. --- helm/style/theory_pres.xsl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/style/theory_pres.xsl b/helm/style/theory_pres.xsl index 209e000d0..47b2622c8 100644 --- a/helm/style/theory_pres.xsl +++ b/helm/style/theory_pres.xsl @@ -53,7 +53,7 @@ - + : -- 2.39.2