]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ba8d987) | patch
added META for ng_paramodulation
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Jun 2009 13:04:29 +0000 (13:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Jun 2009 13:04:29 +0000 (13:04 +0000)
commitf0ee1568dce2315018fe455f696911ac6cb65afc
tree692155af63ee71ea42bb4f407e9b8bace8e9c42atree | snapshot
parentba8d987dab88c8a834c4e23508f13a397070d537commit | diff
added META for ng_paramodulation
helm/software/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.