]> 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)
commit971a1e0f0c80f1165ff2c5ba956702f41819cac4
tree7a321bf19408e2bbfc662328dd8a215a8c9687bc
parentab85a7eecc1f2c9f777eae0989c92ff6a03aa695
partially fixed  boxes in rewite
components/content_pres/content2pres.ml