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

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

author	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 23 Jun 2008 13:49:50 +0000 (13:49 +0000)
committer	Enrico Tassi <enrico.tassi@inria.fr>
	Mon, 23 Jun 2008 13:49:50 +0000 (13:49 +0000)
commit	68f3812e06c04ddd664e86dbfd3a1c32f96a22d1
tree	0a810eb180fc7c26ede369dbc80a8c8b9e356b64	tree \| snapshot
parent	de0d7bddcaaafdf3ebf6ce9a632ab65bfd7e6910	commit \| diff

notation support fixed to parentesize in a more sane way and
andded two windows:
1) tex/utf8 table
2) terms grammar

22 files changed:

helm/software/components/acic_content/cicNotationEnv.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationEnv.mli		diff \| blob \| history
helm/software/components/acic_content/cicNotationPp.ml		diff \| blob \| history
helm/software/components/acic_content/cicNotationPt.ml		diff \| blob \| history
helm/software/components/content_pres/.depend		diff \| blob \| history
helm/software/components/content_pres/Makefile		diff \| blob \| history
helm/software/components/content_pres/boxPp.ml		diff \| blob \| history
helm/software/components/content_pres/cicNotationParser.ml		diff \| blob \| history
helm/software/components/content_pres/cicNotationParser.mli		diff \| blob \| history
helm/software/components/content_pres/cicNotationPres.ml		diff \| blob \| history
helm/software/components/content_pres/content2presMatcher.ml		diff \| blob \| history
helm/software/components/content_pres/termContentPres.ml		diff \| blob \| history
helm/software/components/grafite_parser/.depend		diff \| blob \| history
helm/software/components/grafite_parser/.depend.opt		diff \| blob \| history
helm/software/components/grafite_parser/Makefile		diff \| blob \| history
helm/software/components/grafite_parser/grafiteParser.ml		diff \| blob \| history
helm/software/components/grafite_parser/print_grammar.ml		diff \| blob \| history
helm/software/components/syntax_extensions/utf8Macro.ml		diff \| blob \| history
helm/software/components/syntax_extensions/utf8Macro.mli		diff \| blob \| history
helm/software/components/syntax_extensions/utf8MacroTable.ml		diff \| blob \| history
helm/software/matita/matita.glade		diff \| blob \| history
helm/software/matita/matitaGui.ml		diff \| blob \| history

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

RSS Atom