]> 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)
commitf8b33196dc9b188c2a4c95042a6375cc2152c6a2
treeca25cea641f8f78579108492a96910facb0f910d
parentd5b35580a638f128953dff2fef5e389a589917b5
Bug fixed: name in letin was printed as "previous" even if given.
components/content_pres/content2pres.ml