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: e63af7c) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 29 Oct 2010 22:29:20 +0000 (22:29 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Fri, 29 Oct 2010 22:29:20 +0000 (22:29 +0000)
commit	10d33a8c1be31d0c7aeccee8968fd5218ca2510a
tree	efa0a11fab54e69cc6141bdf8403cadc1e1d376c	tree \| snapshot
parent	e63af7cac81040c1769855da41d0782c87701945	commit \| diff

More parts of the lexicon status made functional.
Still mostly untested.

16 files changed:

matita/components/content_pres/content2pres.ml		diff \| blob \| history
matita/components/content_pres/content2pres.mli		diff \| blob \| history
matita/components/content_pres/sequent2pres.ml		diff \| blob \| history
matita/components/content_pres/sequent2pres.mli		diff \| blob \| history
matita/components/content_pres/termContentPres.ml		diff \| blob \| history
matita/components/content_pres/termContentPres.mli		diff \| 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/statuses.txt		diff \| blob \| history
matita/matita/applyTransformation.ml		diff \| blob \| history
matita/matita/applyTransformation.mli		diff \| blob \| history
matita/matita/matitaGuiTypes.mli		diff \| blob \| history
matita/matita/matitaMathView.ml		diff \| blob \| history
matita/matita/nlibrary/depends		diff \| blob \| history

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