]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 12:28:08 +0000 (12:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 29 Sep 2009 12:28:08 +0000 (12:28 +0000)
commite950fb06ecbee032b204461475d47be44303bf91
treedf4ddf2dca992fc351c47ed86b3adcce75b8f8ce
parenta8f4987a72bd7aa170eba664316a3832d6818570
...
helm/software/matita/matitaInit.ml
helm/software/matita/matitaScript.ml
helm/software/matita/nlibrary/topology/igft.ma