Diff for /Amaya/amaya/MathMLbuilder.c between versions 1.110 and 1.111

version 1.110, 2001/01/16 08:48:27 version 1.111, 2001/03/03 09:38:21
Line 1419  void SetIntAddSpaceAttr (Element el, Doc Line 1419  void SetIntAddSpaceAttr (Element el, Doc
                            val = MathML_ATTR_IntAddSpace_VAL_both;                             val = MathML_ATTR_IntAddSpace_VAL_both;
                         }                          }
                      }                       }
                   else if (text[0] == '+' ||                    else if (text[0] == '&' ||
                            text[0] == '&' ||  
                            text[0] == '*' ||                             text[0] == '*' ||
                              text[0] == '+' ||
                            text[0] == '/' ||                             text[0] == '/' ||
                            text[0] == '<' ||                             text[0] == '<' ||
                            text[0] == '=' ||                             text[0] == '=' ||
                            text[0] == '>' ||                             text[0] == '>' ||
                            text[0] == '^')                             text[0] == '^' ||
                              (int)text[0] == 177 || /* plus or minus */
                              (int)text[0] == 215 || /* times */
                              (int)text[0] == 247)   /* divide */
                      /* infix operator */                       /* infix operator */
                      val = MathML_ATTR_IntAddSpace_VAL_both;                       val = MathML_ATTR_IntAddSpace_VAL_both;
                   else if (text[0] == ',' ||                    else if (text[0] == ',' ||
Line 1435  void SetIntAddSpaceAttr (Element el, Doc Line 1438  void SetIntAddSpaceAttr (Element el, Doc
                      val = MathML_ATTR_IntAddSpace_VAL_spaceafter;                       val = MathML_ATTR_IntAddSpace_VAL_spaceafter;
                   }                    }
                else if (alphabet == 'G')                 else if (alphabet == 'G')
                   /* Symbol character set */                   /* Symbol character set */
                  if ((int)text[0] == 163 || /* less or equal */                   if ((int)text[0] == 163 || /* less or equal */
                      (int)text[0] == 177 || /* plus or minus */                       (int)text[0] == 177 || /* plus or minus */
                      (int)text[0] == 179 || /* greater or equal */                       (int)text[0] == 179 || /* greater or equal */

Removed from v.1.110  
changed lines
  Added in v.1.111


Webmaster