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: 4fdd0bf) | 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	cee1c02ad6a113b711b9d93176296cf16b9ec351
tree	f5da85caf3564cd3c042c3a821ca0b822ce773f6	tree \| snapshot
parent	4fdd0bfa2337b0d35846cdfd63bd3c3bb6fbd3e5	commit \| diff

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

16 files changed:

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

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