Known Bugs

Bugs in the program

• Problems with X colormaps on 24 bits and 32 bits displays.
• Subscripts accented mathematical characters on wrong place.
• Enter math-mode; type minus; select font size ``very large''; type minus.
• The inter-paragraph space between paragraph 1 and paragraph 2 should be determined otherwise (see programming session in letter style) as the current environment inter-paragraph space at the end of paragraph 1.
• When compiling data.o with optimization, strange errors occur during runtime.
• When deleting a theorem, the numbers of the following theorems are not updated.
• left-. and right-. do not work.
• Big delimiters are not properly taken into account inside macros.

Problems when compiling with egcs

Unfortunately, several bugs seem to persist in the egcs compiler. In order to compile TeXmacs using egcs 2.95.2, optimization and redhat linux, I had to change correct source at three places in order to avoid segmentation faults. On a SuSE linux system, I even had to change one line in order to get the non optimized program working, and I still don't manage to correctly compile the program using optimization.

A typical example of the kind of changes needed to get things working is avoiding nested expressions :

    SI
    TER::get_length (string name) {
      string s= get (name)->label;
      return decode_length (s);
    }
  

    SI
    TER::get_length (string name) {
      return decode_length (get (name)->label);
    }
  

If you find a new TeXmacs bug, or if you have a suggestion, please contact us.