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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 28 Aug 2008 10:33:25 +0000 (10:33 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Thu, 28 Aug 2008 10:33:25 +0000 (10:33 +0000)
commit	04f22df647f35080b499b720bca7bc0eb1794c64
tree	15be66e69b8fe7e7ae626f85c0c004ffd12792e5	tree \| snapshot
parent	9be608d0e7ae483754f9922ab521802288d6abf3	commit \| diff

cicDischarge: new module for discharging the explicit variables occurring in a
CiC object. This is used in the procedural/declarative
reconstruction of Coq's library (es Coq/CoRN devels)
cicUniv: we add a default_ugraph set for now to oblivio_ugraph
acic_procedural: improved error handling
depend, depend.opt: we updated some

22 files changed:

helm/software/components/acic_procedural/.depend		diff \| blob \| history
helm/software/components/acic_procedural/.depend.opt		diff \| blob \| history
helm/software/components/acic_procedural/acic2Procedural.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralConversion.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralHelpers.ml		diff \| blob \| history
helm/software/components/acic_procedural/proceduralHelpers.mli		diff \| blob \| history
helm/software/components/acic_procedural/proceduralOptimizer.ml		diff \| blob \| history
helm/software/components/cic/.depend		diff \| blob \| history
helm/software/components/cic/.depend.opt		diff \| blob \| history
helm/software/components/cic/cicUniv.ml		diff \| blob \| history
helm/software/components/cic/cicUniv.mli		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend		diff \| blob \| history
helm/software/components/cic_disambiguation/.depend.opt		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend		diff \| blob \| history
helm/software/components/cic_proof_checking/.depend.opt		diff \| blob \| history
helm/software/components/cic_proof_checking/Makefile		diff \| blob \| history
helm/software/components/cic_proof_checking/cicDischarge.ml	[new file with mode: 0644]	blob
helm/software/components/cic_proof_checking/cicDischarge.mli	[new file with mode: 0644]	blob
helm/software/components/content_pres/.depend		diff \| blob \| history
helm/software/components/content_pres/.depend.opt		diff \| blob \| history
helm/software/components/tactics/.depend		diff \| blob \| history
helm/software/components/tactics/.depend.opt		diff \| blob \| history

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

RSS Atom