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: 9d2f0cf) | 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	397b5f9d848e63a9703a1f90faf9869092ec8893
tree	1fddd146413b3f82e993b8943988229994a47325	tree \| snapshot
parent	9d2f0cf4764f3fe9c85bcb8f6b06a426d99cfa44	commit \| diff

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

16 files changed:

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

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