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: 34259ad) | 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	4609a07e2fe4343d94832fcaf0936223f83ba71c
tree	a474b5d5cded205317c0bc86d5e4f3dfa5585a2b	tree \| snapshot
parent	34259adcd8a36e85f3224c7074c74aef878f1856	commit \| diff

we parametrized CicNotationPt.obj on 'term

18 files changed:

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

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