]> matita.cs.unibo.it Git - helm.git/commit
Type printed as such, CProp printed as such
authorEnrico Tassi <enrico.tassi@inria.fr>
Sun, 27 Sep 2009 21:22:09 +0000 (21:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sun, 27 Sep 2009 21:22:09 +0000 (21:22 +0000)
commite91e815449698c6f2595958f94cd06c10ba10398
treefd9e6f69eaa162a398c96fa5cacda16b2e4364b1
parent0d6f5efcf10a888bfccc769f2c58d998c411da47
Type printed as such, CProp printed as such
helm/software/components/content_pres/termContentPres.ml
helm/software/components/ng_cic_content/nTermCicContent.ml