]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 66752a1) | patch
Removed meaningless time information
authordenes <??>
Mon, 27 Jul 2009 17:20:16 +0000 (17:20 +0000)
committerdenes <??>
Mon, 27 Jul 2009 17:20:16 +0000 (17:20 +0000)
commit08257fe2901ec7ce3b584f73e52a383216ec1fb8
tree4a0d7ec5fbcb62c3e78648942080e7f663538a04tree | snapshot
parent66752a1b8e8daf3d6de8f630b8160ff1e001b2dacommit | diff
Removed meaningless time information
helm/software/components/ng_paramodulation/paramod.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.