]> matita.cs.unibo.it Git - helm.git/commit
minimal implementation of left parameters display
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 May 2008 12:23:53 +0000 (12:23 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 21 May 2008 12:23:53 +0000 (12:23 +0000)
commite8afeae67f66a15433df81e30556276a743b6e05
treed70489e3580ff1a31693447c3edbcbc5fe0e0ce6
parent2fbef023cc9fdb3d6982194ba62552a0605f2571
minimal implementation of left parameters display
helm/software/components/content_pres/content2pres.ml