]> matita.cs.unibo.it Git - helm.git/commit
partially fixed boxes in rewite
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:23:30 +0000 (14:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 13 Apr 2006 14:23:30 +0000 (14:23 +0000)
commit780561e45e8de50dd0063a0e369458ba67479872
treea3edcd261055eb334a84c53ee72d55b181210cd9
parentd3ebaa38d70e1b2711662109d1184b72f308d7b1
partially fixed  boxes in rewite
helm/software/components/content_pres/content2pres.ml