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	77d56df4d446307199a9d4e03478260c6c63baf8
tree	b2ab06edb603735c16d28f63b38396d17e251198	tree \| snapshot
parent	091977e506a414ad2c71ae113703d7fc607b85a2	commit \| diff

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

18 files changed:

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

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