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

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

author	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 29 Oct 2010 16:42:43 +0000 (16:42 +0000)
committer	Andrea Asperti <andrea.asperti@unibo.it>
	Fri, 29 Oct 2010 16:42:43 +0000 (16:42 +0000)
commit	aab0401db0bedd941da96a32acd600af3fbe42e7
tree	fba27a73e4970b710a96cd3e117eb5de6abfb06b	tree \| snapshot
parent	3ce27112fe93ced5f67cc6af8fc63037eba3f322	commit \| diff

WARNING: partial commit (does not compile)

1) major re-organization of statuses
2) major change to dumpability
3) partial functionalization of lexicon status

35 files changed:

matita/components/content/interpretations.ml		diff \| blob \| history
matita/components/content/interpretations.mli		diff \| blob \| history
matita/components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.ml		diff \| blob \| history
matita/components/grafite_engine/grafiteTypes.mli		diff \| blob \| history
matita/components/grafite_engine/nCicCoercDeclaration.ml		diff \| blob \| history
matita/components/grafite_parser/Makefile		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
matita/components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
matita/components/grafite_parser/nEstatus.ml	[deleted file]	blob \| history
matita/components/grafite_parser/nEstatus.mli	[deleted file]	blob \| history
matita/components/lexicon/cicNotation.ml		diff \| blob \| history
matita/components/lexicon/cicNotation.mli		diff \| blob \| history
matita/components/lexicon/lexiconEngine.ml		diff \| blob \| history
matita/components/lexicon/lexiconEngine.mli		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.ml		diff \| blob \| history
matita/components/ng_cic_content/nTermCicContent.mli		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.ml		diff \| blob \| history
matita/components/ng_disambiguation/disambiguateChoices.mli		diff \| blob \| history
matita/components/ng_disambiguation/nCicDisambiguate.mli		diff \| blob \| history
matita/components/ng_library/nCicLibrary.ml		diff \| blob \| history
matita/components/ng_library/nCicLibrary.mli		diff \| blob \| history
matita/components/ng_paramodulation/nCicParamod.mli		diff \| blob \| history
matita/components/ng_refiner/Makefile		diff \| blob \| history
matita/components/ng_refiner/nCicRefiner.mli		diff \| blob \| history
matita/components/ng_refiner/nCicUnification.mli		diff \| blob \| history
matita/components/ng_refiner/nRstatus.ml	[deleted file]	blob \| history
matita/components/ng_refiner/nRstatus.mli	[deleted file]	blob \| history
matita/components/ng_tactics/nTacStatus.ml		diff \| blob \| history
matita/components/ng_tactics/nTacStatus.mli		diff \| blob \| history
matita/components/ng_tactics/nTactics.ml		diff \| blob \| history
matita/components/ng_tactics/nTactics.mli		diff \| blob \| history
matita/components/statuses.txt	[new file with mode: 0644]	blob
matita/matita/applyTransformation.mli		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history

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

RSS Atom