]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be2a030) | patch
fixed building
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 09:54:36 +0000 (09:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 09:54:36 +0000 (09:54 +0000)
commit28e5423e7c0d4e47649ed9534fe2e091c1ff61a0
tree350165592a995b0be2d0e813b206eee7e50e4d81tree | snapshot
parentbe2a030746e20744f9a317a31c7053bcfbb6e505commit | diff
fixed building
helm/software/components/ng_paramodulation/.depend.opt diff | blob | history
helm/software/components/ng_paramodulation/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.