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: 06e2976) | patch

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 12 Dec 2006 14:04:59 +0000 (14:04 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Tue, 12 Dec 2006 14:04:59 +0000 (14:04 +0000)
commit	e9b482856904b32a5c92eee8bcd860ffe74fa74f
tree	4087d3a168eef8959794be99570e31a5f0b073a3	tree \| snapshot
parent	06e2976ca4ef6bdfe14beba14ba538a2479c51a8	commit \| diff

we parametrized CicNotationPt.obj on 'term

18 files changed:

components/acic_content/cicNotationPp.ml		diff \| blob \| history
components/acic_content/cicNotationPp.mli		diff \| blob \| history
components/acic_content/cicNotationPt.ml		diff \| blob \| history
components/acic_content/cicNotationUtil.mli		diff \| blob \| history
components/binaries/transcript/grafite.ml		diff \| blob \| history
components/cic_disambiguation/disambiguate.ml		diff \| blob \| history
components/cic_disambiguation/disambiguate.mli		diff \| blob \| history
components/content_pres/cicNotationParser.mli		diff \| blob \| history
components/content_pres/content2Procedural.ml		diff \| blob \| history
components/content_pres/content2Procedural.mli		diff \| blob \| history
components/content_pres/objPp.ml		diff \| blob \| history
components/grafite_parser/grafiteDisambiguate.mli		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.mli		diff \| blob \| history
components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history
matita/matita.lang		diff \| blob \| history
matita/matitaEngine.mli		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history

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