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

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

author	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 10 Jun 2011 12:56:04 +0000 (12:56 +0000)
committer	Wilmer Ricciotti <ricciott@cs.unibo.it>
	Fri, 10 Jun 2011 12:56:04 +0000 (12:56 +0000)
commit	6c702f5054d7975f76911ba62da9bfa33d3ed0fa
tree	5ebafc2cce448e511e1049181f24410eac944c96	tree \| snapshot
parent	8196005571cabe243e658b08a71ffe7df6efa1d7	commit \| diff

Multi-user matita: changed the status object to include a ``user'' method
containing an optional string, used to identify associated user.

39 files changed:

matitaB/components/content_pres/cicNotationParser.ml		diff \| blob \| history
matitaB/components/content_pres/cicNotationParser.mli		diff \| blob \| history
matitaB/components/content_pres/content2presMatcher.ml		diff \| blob \| history
matitaB/components/content_pres/termContentPres.ml		diff \| blob \| history
matitaB/components/content_pres/termContentPres.mli		diff \| blob \| history
matitaB/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matitaB/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
matitaB/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
matitaB/components/grafite_parser/grafiteParser.mli		diff \| blob \| history
matitaB/components/ng_cic_content/interpretations.ml		diff \| blob \| history
matitaB/components/ng_cic_content/interpretations.mli		diff \| blob \| history
matitaB/components/ng_cic_content/ncic2astMatcher.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.ml		diff \| blob \| history
matitaB/components/ng_disambiguation/grafiteDisambiguate.mli		diff \| blob \| history
matitaB/components/ng_kernel/nCic.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicEnvironment.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicPp.ml		diff \| blob \| history
matitaB/components/ng_kernel/nCicPp.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/nCicBlob.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicCoercion.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicCoercion.mli		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnifHint.ml		diff \| blob \| history
matitaB/components/ng_refiner/nCicUnifHint.mli		diff \| blob \| history
matitaB/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matitaB/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
matitaB/components/ng_tactics/nTactics.ml		diff \| blob \| history
matitaB/configure.ac		diff \| blob \| history
matitaB/matita/.depend		diff \| blob \| history
matitaB/matita/Makefile		diff \| blob \| history
matitaB/matita/applyTransformation.ml		diff \| blob \| history
matitaB/matita/applyTransformation.mli		diff \| blob \| history
matitaB/matita/matitaAuthentication.ml	[new file with mode: 0644]	blob
matitaB/matita/matitaAuthentication.mli	[new file with mode: 0644]	blob
matitaB/matita/matitaEngine.ml		diff \| blob \| history
matitaB/matita/matitaEngine.mli		diff \| blob \| history
matitaB/matita/matitaScript.ml		diff \| blob \| history
matitaB/matita/matitadaemon.ml		diff \| blob \| history

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

RSS Atom