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: 1997c97) | patch

author	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 23 Nov 2006 14:31:56 +0000 (14:31 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Thu, 23 Nov 2006 14:31:56 +0000 (14:31 +0000)
commit	06b128f1107fd579a696b83b2f8255f83ab29a92
tree	573b11d9155ff20297b7de7d272d71a138d568ee	tree \| snapshot
parent	1997c9713a0f75ec65803cc8132223142df98204	commit \| diff

Modifications to auto due to the introduction of the universe in
the status.

16 files changed:

components/tactics/.depend		diff \| blob \| history
components/tactics/Makefile		diff \| blob \| history
components/tactics/auto.ml		diff \| blob \| history
components/tactics/auto.mli		diff \| blob \| history
components/tactics/autoCache.ml		diff \| blob \| history
components/tactics/autoTactic.ml		diff \| blob \| history
components/tactics/autoTactic.mli		diff \| blob \| history
components/tactics/autoTypes.ml		diff \| blob \| history
components/tactics/declarative.ml		diff \| blob \| history
components/tactics/metadataQuery.ml		diff \| blob \| history
components/tactics/metadataQuery.mli		diff \| blob \| history
components/tactics/paramodulation/equality.ml		diff \| blob \| history
components/tactics/paramodulation/indexing.ml		diff \| blob \| history
components/tactics/paramodulation/saturation.ml		diff \| blob \| history
components/tactics/paramodulation/utils.ml		diff \| blob \| history
components/tactics/tactics.mli		diff \| blob \| history

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