Rev 16599 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 16599 | Rev 16678 | ||
|---|---|---|---|
| Line 1102... | Line 1102... | ||
| 1102 | wims_mathml_free_string(s1); |
1102 | wims_mathml_free_string(s1); |
| 1103 | wims_mathml_free_string($1); |
1103 | wims_mathml_free_string($1); |
| 1104 | }; |
1104 | }; |
| 1105 | 1105 | ||
| 1106 | lewis: LEWIS closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm { |
1106 | lewis: LEWIS closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm closedTerm { |
| 1107 | char *s1 = wims_mathml_copy13("<mtable columnspacing=\"0.3ex\" columnalign=\"left\" columnlines=\"none\" rowlines=\"none\" rowalign=\"center\"><mtr><mtd><mstyle mathsize=\"70%\"><munderover><mrow mathsize=\"110%\">",$3,"</mrow><mphantom></mphantom><mrow mathsize=\"110%\">",$4,"</mrow></munderover></mstyle></mtd><mtd><munderover>",$2,"<mrow>",$10,$9,"</mrow><mrow>",$5,$6,"</mrow></munderover></mtd><mtd><mstyle mathsize=\"70%\"><munderover><mrow mathsize=\"110%\">"); |
1107 | char *s1 = wims_mathml_copy13("<mtable columnspacing=\"0.3ex\" columnalign=\"left\" columnlines=\"none\" rowlines=\"none\" rowalign=\"center\" displaystyle=\"true\"><mtr><mtd><mstyle mathsize=\"70%\"><munderover><mrow mathsize=\"110%\">",$3,"</mrow><mphantom></mphantom><mrow mathsize=\"110%\">",$4,"</mrow></munderover></mstyle></mtd><mtd><munderover>",$2,"<mrow>",$10,$9,"</mrow><mrow>",$5,$6,"</mrow></munderover></mtd><mtd><mstyle mathsize=\"70%\"><munderover><mrow mathsize=\"110%\">"); |
| 1108 | $$ = wims_mathml_copy5 (s1,$8,"</mrow><mphantom></mphantom><mrow mathsize=\"110%\">",$7, |
1108 | $$ = wims_mathml_copy5 (s1,$8,"</mrow><mphantom></mphantom><mrow mathsize=\"110%\">",$7, |
| 1109 | "</mrow></munderover></mstyle></mtd></mtr></mtable>"); |
1109 | "</mrow></munderover></mstyle></mtd></mtr></mtable>"); |
| 1110 | wims_mathml_free_string(s1); |
1110 | wims_mathml_free_string(s1); |
| 1111 | wims_mathml_free_string($2); |
1111 | wims_mathml_free_string($2); |
| 1112 | wims_mathml_free_string($3); |
1112 | wims_mathml_free_string($3); |