matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 28 Mar 2006 08:22:51 +0000 (08:22 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Tue, 28 Mar 2006 08:22:51 +0000 (08:22 +0000)
commit	801f0eb3eabe1cbcd66d6a3f52c24eb8f1189611
tree	8daeb6a88da6e4b75c62de33bafca15342e85c54	tree \| snapshot
parent	102b6ad309695168ae95c2d4a9c3daa96599de21	commit \| diff

more profiling and fixes for paramod

18 files changed:

components/binaries/Makefile		diff \| blob \| history
components/binaries/saturate/Makefile	[new file with mode: 0644]	blob
components/binaries/saturate/saturate_main.ml	[new file with mode: 0644]	blob
components/cic_proof_checking/cicPp.ml		diff \| blob \| history
components/cic_proof_checking/cicTypeChecker.ml		diff \| blob \| history
components/cic_unification/cicMetaSubst.ml		diff \| blob \| history
components/cic_unification/cicUnification.ml		diff \| blob \| history
components/cic_unification/cicUnification.mli		diff \| blob \| history
components/extlib/hExtlib.ml		diff \| blob \| history
components/lexicon/lexiconSync.ml		diff \| blob \| history
components/tactics/inversion.ml		diff \| blob \| history
components/tactics/inversion_principle.ml		diff \| blob \| history
components/tactics/paramodulation/Makefile		diff \| blob \| history
components/tactics/paramodulation/indexing.ml		diff \| blob \| history
components/tactics/paramodulation/inference.ml		diff \| blob \| history
components/tactics/paramodulation/saturate_main.ml	[deleted file]	blob \| history
components/tactics/paramodulation/saturation.ml		diff \| blob \| history
matita/tests/bool.ma		diff \| blob \| history

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