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: a93a949) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 21 Sep 2005 09:59:58 +0000 (09:59 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Wed, 21 Sep 2005 09:59:58 +0000 (09:59 +0000)
commit	cfda0acfce3f5e0b843bfe2b7ba7c371e5690db0
tree	5575431c8c72475f23cbc03c7c92bc90d89419c4	tree \| snapshot
parent	a93a94942ad58d8645af1fd94bef8fa31d9541a4	commit \| diff

All the debug_print are now lazy.

19 files changed:

helm/ocaml/cic/cicParser.ml		diff \| blob \| history
helm/ocaml/cic_notation/cicNotationRew.ml		diff \| blob \| history
helm/ocaml/hbugs/broker.ml		diff \| blob \| history
helm/ocaml/paramodulation/indexing.ml		diff \| blob \| history
helm/ocaml/paramodulation/inference.ml		diff \| blob \| history
helm/ocaml/paramodulation/saturation.ml		diff \| blob \| history
helm/ocaml/paramodulation/utils.ml		diff \| blob \| history
helm/ocaml/paramodulation/utils.mli		diff \| blob \| history
helm/ocaml/registry/helm_registry.ml		diff \| blob \| history
helm/ocaml/tactics/autoTactic.ml		diff \| blob \| history
helm/ocaml/tactics/discriminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/eliminationTactics.ml		diff \| blob \| history
helm/ocaml/tactics/metadataQuery.ml		diff \| blob \| history
helm/ocaml/tactics/ring.ml		diff \| blob \| history
helm/ocaml/tactics/tacticals.ml		diff \| blob \| history
helm/ocaml/thread/extThread.ml		diff \| blob \| history
helm/ocaml/thread/threadSafe.ml		diff \| blob \| history
helm/ocaml/utf8_macros/make_table.ml		diff \| blob \| history
helm/ocaml/utf8_macros/pa_unicode_macro.ml		diff \| blob \| history

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