]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 28e5423) | patch
fixed metas
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 09:54:56 +0000 (09:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 9 Jun 2009 09:54:56 +0000 (09:54 +0000)
commit6ff4a5745f9d364372126e75e21bbacccab1e96f
tree7bebbcbc18042800df6839dfb10b4656a5fd3cd0tree | snapshot
parent28e5423e7c0d4e47649ed9534fe2e091c1ff61a0commit | diff
fixed metas
helm/software/components/METAS/meta.helm-ng_paramodulation.src diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.