]> matita.cs.unibo.it Git - helm.git/commit
hbox => hvbox in constructor arguments in match patterns.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Sep 2008 08:26:27 +0000 (08:26 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 4 Sep 2008 08:26:27 +0000 (08:26 +0000)
commit6de1d620529ba16f5cb89588755de3cc6cd5b45b
tree41941d0a0511e2e419bc1c5605d73cd0596da5dd
parentda03907a38982b8b45459213f2b9581accac5143
hbox => hvbox in constructor arguments in match patterns.
helm/software/components/content_pres/termContentPres.ml