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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Jan 2008 10:44:39 +0000 (10:44 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Wed, 9 Jan 2008 10:44:39 +0000 (10:44 +0000)
commit	f06968e452cca8782e822d98bec9007404abcbbe
tree	d012a2312d859769e02a0b76445225fceb323b32	tree \| snapshot
parent	94267002fc18aa42a8c09779ad6485f93c3e90fa	commit \| diff

snopshot (working one!)

31 files changed:

components/acic_content/termAcicContent.ml		diff \| blob \| history
components/acic_content/termAcicContent.mli		diff \| blob \| history
components/cic/libraryObjects.ml		diff \| blob \| history
components/cic/libraryObjects.mli		diff \| blob \| history
components/content_pres/termContentPres.ml		diff \| blob \| history
components/content_pres/termContentPres.mli		diff \| blob \| history
components/grafite_engine/grafiteSync.ml		diff \| blob \| history
components/grafite_engine/grafiteSync.mli		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.mli		diff \| blob \| history
components/lexicon/cicNotation.ml		diff \| blob \| history
components/lexicon/cicNotation.mli		diff \| blob \| history
components/library/coercDb.ml		diff \| blob \| history
components/library/coercDb.mli		diff \| blob \| history
components/library/librarySync.ml		diff \| blob \| history
components/library/librarySync.mli		diff \| blob \| history
matita/.depend		diff \| blob \| history
matita/.depend.opt		diff \| blob \| history
matita/Makefile		diff \| blob \| history
matita/matitaEngine.ml		diff \| blob \| history
matita/matitaEngine.mli		diff \| blob \| history
matita/matitaExcPp.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaWiki.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history
matita/matitaprover.ml	[deleted file]	blob \| history
matita/matitaprover.mli	[deleted file]	blob \| history
matita/tests/depends		diff \| blob \| history
matita/tests/push_pop_status.ma	[new file with mode: 0644]	blob
matita/tests/push_pop_status_aux1.ma	[new file with mode: 0644]	blob
matita/tests/push_pop_status_aux2.ma	[new file with mode: 0644]	blob

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

RSS Atom