From: Claudio Sacerdoti Coen Date: Sun, 30 May 2004 22:10:00 +0000 (+0000) Subject: The theory index.theory, if present, is shown at the beginning of the X-Git-Tag: pre_subst_in_kernel~48 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3c50ba458692e3dd7a00ce595d53d647227d9848;p=helm.git The theory index.theory, if present, is shown at the beginning of the listing. --- diff --git a/helm/on-line/xslt/ls2theory.xsl b/helm/on-line/xslt/ls2theory.xsl index 6ecf56986..5d5186532 100644 --- a/helm/on-line/xslt/ls2theory.xsl +++ b/helm/on-line/xslt/ls2theory.xsl @@ -34,9 +34,11 @@