]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8c8060) | patch
added saturation.opt to the ignore list
authorAlberto Griggio <griggio@fbk.eu>
Sun, 15 May 2005 12:10:57 +0000 (12:10 +0000)
committerAlberto Griggio <griggio@fbk.eu>
Sun, 15 May 2005 12:10:57 +0000 (12:10 +0000)
commitdf57e443ffe4408406359a97408134686d655675
tree4814597b29b790c3d575c0c464e2dab47e154712tree | snapshot
parentd8c8060ad0cfc9b93ce919b6662383a230192840commit | diff
added saturation.opt to the ignore list
helm/ocaml/paramodulation/.cvsignore diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.