]> 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)
commit7afc4aafbe124f901823fab3a432772093c97a85
tree38aa287cdba1310efbc31b0022e24c28de0bf24d
parent7cf46248c403c61d548a10f17e3274d5da6a9035
rebuilt
components/tactics/.depend.opt