]> matita.cs.unibo.it Git - helm.git/commit
rebuilt
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:47:38 +0000 (12:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 26 Oct 2007 12:47:38 +0000 (12:47 +0000)
commit40f786ef8e712fae4c51b0cdfe79738ee22f2c3c
tree777e38025c18696898067dc1d9f7f20b8c6511df
parentf8cc3ca9341553197c08cc217f787b663787d758
rebuilt
helm/software/components/tactics/.depend.opt