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	64d7a7dfa840d7279f9af64240ee1f8a69181801
tree	71846922361d342d3e49a04ddda0e1deb2f15770	tree \| snapshot
parent	086a16fd167436803453c9f0c673450fe8a8ccc1	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

helm/software/components/content_pres/termContentPres.ml		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/lexicon/lexiconAstPp.ml		diff \| blob \| history
helm/software/components/lexicon/lexiconEngine.ml		diff \| blob \| history
helm/software/components/lexicon/lexiconEngine.mli		diff \| blob \| history
helm/software/matita/matitac.ml		diff \| blob \| history