]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad4f4b0) | patch
Typo in comment
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Nov 2011 09:19:28 +0000 (09:19 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 21 Nov 2011 09:19:28 +0000 (09:19 +0000)
commitc6dc6200c1e3022bf76b9589a8e30dd1cc6e864c
tree1680bb0789cbe51bffafa949fc5cf57de411cccetree | snapshot
parentad4f4b0c08bdb4aaf714796fbac865dea648eecccommit | diff
Typo in comment
matitaB/components/ng_paramodulation/paramod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.