X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fdaemons%2Fon-line%2Fxslt%2Fls2theory.xsl;h=91942331bb1c2827aa58c16dea6ed15a0b778977;hb=1b70a1f66be53f76e475383e86d63c2b5c1fbcaa;hp=3e9e4abec3d4f48100b4bd15f4664abea74c352f;hpb=660edb2841e2ef78363d869c4c730dfa8b6613a9;p=helm.git diff --git a/helm/software/daemons/on-line/xslt/ls2theory.xsl b/helm/software/daemons/on-line/xslt/ls2theory.xsl index 3e9e4abec..91942331b 100644 --- a/helm/software/daemons/on-line/xslt/ls2theory.xsl +++ b/helm/software/daemons/on-line/xslt/ls2theory.xsl @@ -6,7 +6,7 @@ xmlns="http://www.w3.org/1999/xhtml" > - +