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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 24 Jan 2007 19:28:15 +0000 (19:28 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Wed, 24 Jan 2007 19:28:15 +0000 (19:28 +0000)
commit	2e3e85acace6942eebcfac570ce6b33134d1a3dd
tree	3b58aca3f930702bc4c40cdfa1ce77356b2ab3ca	tree \| snapshot
parent	5cd2bfac5e47232f9e1a8f6189bcc49a3e73007f	commit \| diff

matitaGui: some missing cases during disambiguation now treated
grafiteAst: rename tactic removed
procedural: some improvements

18 files changed:

components/content_pres/acic2Procedural.ml		diff \| blob \| history
components/content_pres/acic2Procedural.mli		diff \| blob \| history
components/content_pres/cicClassify.ml		diff \| blob \| history
components/content_pres/cicClassify.mli		diff \| blob \| history
components/content_pres/objPp.ml		diff \| blob \| history
components/content_pres/objPp.mli		diff \| blob \| history
components/content_pres/proceduralConversion.ml		diff \| blob \| history
components/content_pres/proceduralConversion.mli		diff \| blob \| history
components/content_pres/proceduralTypes.ml		diff \| blob \| history
components/content_pres/proceduralTypes.mli		diff \| blob \| history
components/grafite/grafiteAst.ml		diff \| blob \| history
components/grafite/grafiteAstPp.ml		diff \| blob \| history
components/grafite_engine/grafiteEngine.ml		diff \| blob \| history
components/grafite_parser/grafiteDisambiguate.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/tactics/tactics.ml		diff \| blob \| history
components/tactics/tactics.mli		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history

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