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

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

author	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 12 Feb 2007 22:53:46 +0000 (22:53 +0000)
committer	Ferruccio Guidi <ferruccio.guidi@unibo.it>
	Mon, 12 Feb 2007 22:53:46 +0000 (22:53 +0000)
commit	9642ec8492f2ef54e280e27a40c2936a02c252f9
tree	73f222f7fafde2e568ae49cf86e52c4b21c8e456	tree \| snapshot
parent	e55c40ddebaa3664f294a8dd8df162e8c1fa5020	commit \| diff

LexiconAstPp: fixed syntax for include
TermContentPres: fixed syntax for letin
lexiconEngine: moved callback from grafiteParser
matitac: -dump patched

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

RSS Atom

components/content_pres/termContentPres.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.ml		diff \| blob \| history
components/grafite_parser/grafiteParser.mli		diff \| blob \| history
components/lexicon/lexiconAstPp.ml		diff \| blob \| history
components/lexicon/lexiconEngine.ml		diff \| blob \| history
components/lexicon/lexiconEngine.mli		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history