]> matita.cs.unibo.it Git - helm.git/commit
content2pres for the new cic fixed
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 11 Jun 2009 13:57:41 +0000 (13:57 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 11 Jun 2009 13:57:41 +0000 (13:57 +0000)
commitcbd3ca06d7b0c8ea32cfc15b7206a940259e479e
treec825e98240fb9febb62691bd35a44aa13aa4b06b
parent951e8fda6fbef9b4149e37e4d406b2f82fd64a98
content2pres for the new cic fixed
helm/software/components/content_pres/content2pres.ml