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: 871d9b1) | patch

author	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 19 Jul 2007 12:07:44 +0000 (12:07 +0000)
committer	Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
	Thu, 19 Jul 2007 12:07:44 +0000 (12:07 +0000)
commit	c68d9805aa7e37554bc4f00eca61083b75ef43da
tree	e9069349642e0805959949fc6dbe4c5e00a55b80	tree \| snapshot
parent	871d9b1d66f79445e7afa6d42205aaf33576c4f0	commit \| diff

map_unicode_to_tex is no longer optional and it always refers to the current
user choice.

16 files changed:

components/binaries/transcript/grafite.ml		diff \| blob \| history
components/content_pres/boxPp.ml		diff \| blob \| history
components/content_pres/boxPp.mli		diff \| blob \| history
components/grafite/grafiteAstPp.ml		diff \| blob \| history
components/grafite/grafiteAstPp.mli		diff \| blob \| history
components/grafite_parser/test_parser.ml		diff \| blob \| history
components/tptp_grafite/tptp2grafite.ml		diff \| blob \| history
matita/applyTransformation.ml		diff \| blob \| history
matita/applyTransformation.mli		diff \| blob \| history
matita/matita.ml		diff \| blob \| history
matita/matitaGui.ml		diff \| blob \| history
matita/matitaMathView.ml		diff \| blob \| history
matita/matitaScript.ml		diff \| blob \| history
matita/matitaWiki.ml		diff \| blob \| history
matita/matitac.ml		diff \| blob \| history
matita/matitacLib.ml		diff \| blob \| history

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