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: 8e0e2b0) | patch

author	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 22 Oct 2009 22:11:03 +0000 (22:11 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Thu, 22 Oct 2009 22:11:03 +0000 (22:11 +0000)
commit	f8d45b2e4fa7817d7ef8312b3bb8a7439bd7fb8c
tree	c423f2bed742dd0af7d3a978ab02b48ec87868bb	tree \| snapshot
parent	8e0e2b06cfc3fb3116e1fce632d9897fdbac9895	commit \| diff

new instantiate, only known bug is w.r.t. in/out scope and file matita/contribs/ng_assembly/compiler/environment.ma

19 files changed:

helm/software/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCic.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicEnvironment.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicEnvironment.mli		diff \| blob \| history
helm/software/components/ng_kernel/nCicPp.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicUntrusted.ml		diff \| blob \| history
helm/software/components/ng_kernel/nCicUntrusted.mli		diff \| blob \| history
helm/software/components/ng_paramodulation/nCicParamod.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicMetaSubst.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicMetaSubst.mli		diff \| blob \| history
helm/software/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnification.ml		diff \| blob \| history
helm/software/components/ng_refiner/nCicUnification.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
helm/software/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
helm/software/components/ng_tactics/nTactics.ml		diff \| blob \| history
helm/software/matita/contribs/ng_assembly/compiler/environment.ma		diff \| blob \| history
helm/software/matita/nlibrary/logic/destruct_bb.ma		diff \| blob \| history

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