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

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

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 16 Sep 2011 14:14:15 +0000 (14:14 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 16 Sep 2011 14:14:15 +0000 (14:14 +0000)
commit	e79c8b830f9f6b0c3f4d577909e32e1bb4032cdf
tree	fc849fa520d0ff0114a6550d5646af5e93491745	tree \| snapshot
parent	9dac2c325dca1b5b92d6ba11dadf470538bae28e	commit \| diff

This commit patches the environment and the library so that their status is
contained in the global status of Matita. This allows several users to execute
concurrently in the same instance of Matita, since they are now using
independent statuses.

35 files changed:

matitaB/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matitaB/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matitaB/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matitaB/components/ng_cic_content/ncic2astMatcher.mli		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_kernel/Makefile		diff \| blob \| history
matitaB/components/ng_kernel/nCicEnvironment.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicEnvironment.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicPp.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicPp.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicReduction.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicReduction.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicSubstitution.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicTypeChecker.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicTypeChecker.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicUntrusted.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCicUtils.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicUtils.mli		diff \| blob \| history
matitaB/components/ng_library/nCicLibrary.ml		diff \| blob \| history
matitaB/components/ng_library/nCicLibrary.mli		diff \| blob \| history
matitaB/components/ng_paramodulation/nCicParamod.mli		diff \| blob \| history
matitaB/components/ng_paramodulation/nCicProof.mli		diff \| blob \| history
matitaB/components/ng_refiner/nCicMetaSubst.mli		diff \| blob \| history
matitaB/components/ng_refiner/nCicRefineUtil.mli		diff \| blob \| history
matitaB/components/ng_refiner/nCicRefiner.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnifHint.mli		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnification.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnification.mli		diff \| blob \| history
matitaB/components/ng_tactics/nCicElim.ml		diff \| blob \| history
matitaB/components/ng_tactics/nCicElim.mli		diff \| blob \| history
matitaB/components/ng_tactics/nCicTacReduction.mli		diff \| blob \| history
matitaB/components/ng_tactics/nnAuto.ml		diff \| blob \| history

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

RSS Atom