]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c5df154) | patch
:
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 22 Mar 2006 13:47:39 +0000 (13:47 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 22 Mar 2006 13:47:39 +0000 (13:47 +0000)
commit8b4a227cafd6707cf466c02606b2f1f3f6b60219
tree96580701900321f4cab59958065c4c8aa4b86c45tree | snapshot
parentc5df154c421b761c227b163ea345a499dd081e75commit | diff
:
This line, and those below, will be ignored--

M    tactics/paramodulation/utils.ml
helm/software/components/tactics/paramodulation/utils.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.