]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72a83dd) | patch
New: expected types (in the sense of Yann Coscoy) now availables for
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jun 2002 10:19:54 +0000 (10:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 11 Jun 2002 10:19:54 +0000 (10:19 +0000)
commita38dce333847f6a1eaed563f7a2260e1cfc1ff2e
tree82c7e17c708abfb312845a35fad05092aefb36a6tree | snapshot
parent72a83ddb523d49b16ca713d384b510779be21894commit | diff
New: expected types (in the sense of Yann Coscoy) now availables for
MathML Content and MathML Presentation. HTML support is still missing
(and bugs may have been introduced when expected types are present)
helm/style/content_to_html.xsl diff | blob | history
helm/style/mmlextension.xsl diff | blob | history
helm/style/objcontent.xsl diff | blob | history
helm/style/proofs.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.