]> matita.cs.unibo.it Git - helm.git/commit
1. bug fixed: Unicode characters that are not mapped to TeX macros used to
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Oct 2006 12:41:21 +0000 (12:41 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 25 Oct 2006 12:41:21 +0000 (12:41 +0000)
commit407ff2f7c09ddd90eae6f390006ffe801b683164
tree662440a0e7ea6e651d5cc873e7782df96bbd306d
parent938e1b54e8a49d8d3cabc952ec2f380f59a8322d
1. bug fixed: Unicode characters that are not mapped to TeX macros used to
   be post-fixed with a blank
2. bug fixed: the textual pretty-printer does not implement the same
   spacing politics of GtkMathView. Since that politics is very very complex
   to implement, I try a different solution: we explicitly insert a space
   where we want one. The widget does not seem to be disturbed by this.
   This way the let ... rec and match ... with constructs are now printed
   correctly and they can be read back.
3. syntax change: applicative patterns no longer require parentheses around
   them
helm/software/components/content_pres/boxPp.ml
helm/software/components/content_pres/cicNotationParser.ml
helm/software/components/content_pres/cicNotationPres.ml
helm/software/components/content_pres/termContentPres.ml
helm/software/components/grafite_parser/print_grammar.ml
helm/software/components/syntax_extensions/utf8Macro.ml
helm/software/components/syntax_extensions/utf8Macro.mli
helm/software/matita/help/C/sec_terms.xml