]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2388697) | patch
positive.xsl is now included in headercontent.xsl and no more required in
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 16:58:44 +0000 (16:58 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 10 Dec 2002 16:58:44 +0000 (16:58 +0000)
commit8f6633d8c253484eb18f2ba8eb48213fe86c0ba0
tree79156a8077f936fb1e70695cf755ed5aa6f40cb1tree | snapshot
parent23886971f037b00a358d9b422aa0b3b40a75dc10commit | diff
positive.xsl is now included in headercontent.xsl and no more required in
arith.xml and list.xml. This is necessary to overload the standard rendering
of some operators (e.g. notation for real numbers).
helm/meta_style/arith.xml diff | blob | history
helm/meta_style/list.xml diff | blob | history
helm/style/headercontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.