]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e365db) | patch
The .types files are now read directly by the stylesheets.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2001 16:00:32 +0000 (16:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 6 Mar 2001 16:00:32 +0000 (16:00 +0000)
commit0e9cfa8af4ac6569e350dac51b8f8482d124f71a
tree2c30ac65e97aceec8b69872610913fa8ff023f52tree | snapshot
parent2e365db5721e934b77f3648ab7df6d31a02142b2commit | diff
The .types files are now read directly by the stylesheets.
Two new params added: naturalLanguage and CICURI
helm/style/proofs.xsl diff | blob | history
helm/style/rootcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.