]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 78ed249) | patch
is_top_down was not propageted correctly under a bottom-up conversion.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:15:18 +0000 (20:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 4 Jul 2007 20:15:18 +0000 (20:15 +0000)
commitb5dae194abe43f6a034fed927c509630a182d89d
tree3212c33eab671527aeca97d134c22ba00b576156tree | snapshot
parent78ed249d75b6b65847e4739dabf7c18b8288c7d8commit | diff
is_top_down was not propageted correctly under a bottom-up conversion.
components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.