]> matita.cs.unibo.it Git - helm.git/commit
Bug fixed: name in letin was printed as "previous" even if given.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:05:55 +0000 (20:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:05:55 +0000 (20:05 +0000)
commit1ca5e357b247833e561be0f0760d18d705d4f1d6
tree7042c7e2ce9ec1f51b3f71c6b00a6e6972f3839b
parent82d0bc4291648c88e9f248fc5a67518e938eacdf
Bug fixed: name in letin was printed as "previous" even if given.
helm/software/components/content_pres/content2pres.ml