]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e9f9d6) | patch
Bugs fixed:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jul 2008 13:28:34 +0000 (13:28 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 17 Jul 2008 13:28:34 +0000 (13:28 +0000)
commitce98548577a44fafd17f1d9ce42bca1e6db104fc
tree73451efa6cc61828fdc82744937f3d82623daf16tree | snapshot
parent0e9f9d6d7a0466ee132553fb7a983eac282fb12fcommit | diff
Bugs fixed:
\frac is an infix operator
\infrule is a prefix operator
helm/software/components/content_pres/cicNotationParser.ml diff | blob | history
helm/software/matita/help/C/sec_usernotation.xml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.