]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:10:18 +0000 (10:10 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 19 Dec 2008 10:10:18 +0000 (10:10 +0000)
commit912780aaffd1e3a107a837dac1443ad2476e94b7
treec661ef09a2812d03dc51cd50d9ff12447e9a47c8
parentee21d4e76a585c9f9b7921834311d809f2f5bf80
...
helm/software/components/Makefile
helm/software/components/cic_disambiguation/.depend.opt
helm/software/components/cic_proof_checking/.depend.opt