]> matita.cs.unibo.it Git - helm.git/commit
Major interface improvements.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 May 2004 14:53:30 +0000 (14:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 26 May 2004 14:53:30 +0000 (14:53 +0000)
commitd8b76c102e4f540c3ecfa550267331a7a72810c2
tree2d98b9e7250042110ee508f594d8d328853df5b1
parentc865647463d9c5d26a67b0bfbe91cc8118341ff6
Major interface improvements.
helm/on-line/html/cic/control.html
helm/on-line/html/cic/index.html
helm/on-line/html/theory/control.html
helm/on-line/html/theory/index.html
helm/on-line/xslt/ls2theory.xsl
helm/on-line/xslt/makeGraphLinks.xsl
helm/on-line/xslt/metadataControl.xsl
helm/on-line/xslt/metadataLib.xsl
helm/on-line/xslt/resolve_topurl.xsl
helm/on-line/xslt/toplevel_header.xsl