]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ca2a604) | 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)
commit99727f61d0a718e34d4282f9b9b45fce4336af84
treef5ba73ff84ffd7c19cce5b76c212fb6cccce59bctree | snapshot
parentca2a604c2817deb118d595611b94a0d77978eab6commit | diff
is_top_down was not propageted correctly under a bottom-up conversion.
helm/software/components/content_pres/content2pres.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.