matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/paramod.mli

]> matita.cs.unibo.it Git - helm.git/commit - helm/software/components/ng_paramodulation/paramod.mli

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: fed8f1a) | patch

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Mon, 20 Jul 2009 17:07:00 +0000 (17:07 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Mon, 20 Jul 2009 17:07:00 +0000 (17:07 +0000)
commit	9450b36b5e385818adbcda257fa74260c2979fcd
tree	37c6bf3a134e143f461c853a7a2d5968bfee6120	tree \| snapshot
parent	fed8f1a2c4d10e8b6411ae471d0f85636d2f13a9	commit \| diff

added a flag for age selection

Unnamed repository; edit this file 'description' to name the repository.