Rev 16596 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 16596 | Rev 16599 | ||
---|---|---|---|
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>< |
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%\">"); |
1108 | "</mo></mrow><mrow><mo mathsize=\"120%\">",$4, |
- | |
1109 | "</mo></mrow></munderover></style></mtd><mtd><munderover>",$2,"<mrow><mo>",$10, |
- | |
1110 | "</mo><mo>",$9,"</mo></mrow><mrow><mo>",$5,"</mo><mo>"); |
- | |
1111 | $$ = |
1108 | $$ = wims_mathml_copy5 (s1,$8,"</mrow><mphantom></mphantom><mrow mathsize=\"110%\">",$7, |
1112 | "</mo></mrow><mrow><mo mathsize=\"120%\">",$7, |
- | |
1113 |
|
1109 | "</mrow></munderover></mstyle></mtd></mtr></mtable>"); |
1114 | wims_mathml_free_string(s1); |
1110 | wims_mathml_free_string(s1); |
1115 | wims_mathml_free_string($2); |
1111 | wims_mathml_free_string($2); |
1116 | wims_mathml_free_string($3); |
1112 | wims_mathml_free_string($3); |
1117 | wims_mathml_free_string($4); |
1113 | wims_mathml_free_string($4); |
1118 | wims_mathml_free_string($5); |
1114 | wims_mathml_free_string($5); |