]> matita.cs.unibo.it Git - helm.git/commit
"..." -> "\ldots" for implicit vectors
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jul 2009 15:45:42 +0000 (15:45 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 28 Jul 2009 15:45:42 +0000 (15:45 +0000)
commit2d3d1750a0012ebc45f97d0000c01141623fc634
tree5a1b376b84c219e7a518402d4890ef45a030addf
parent0369aa83a42ed4730ed1946b02365760817f6ea2
"..." -> "\ldots" for implicit vectors
helm/software/components/acic_content/cicNotationPp.ml
helm/software/components/content_pres/cicNotationLexer.ml
helm/software/components/content_pres/cicNotationParser.ml
helm/software/components/content_pres/termContentPres.ml
helm/software/components/ng_kernel/nCicPp.ml