itextomml 1.3.24 → 1.3.25

Sign up to get free protection for your applications and to get access to all the features.
Files changed (6) hide show
  1. data/ext/itex2MML.h +3 -3
  2. data/ext/lex.yy.c +1667 -1659
  3. data/ext/y.tab.c +1391 -1375
  4. data/ext/y.tab.h +164 -162
  5. data/lib/itex_stringsupport.rb +2377 -0
  6. metadata +19 -5
data/ext/y.tab.h CHANGED
@@ -108,87 +108,88 @@
108
108
  ATTRLIST = 324,
109
109
  ITALICS = 325,
110
110
  BOLD = 326,
111
- SLASHED = 327,
112
- RM = 328,
113
- BB = 329,
114
- ST = 330,
115
- END = 331,
116
- BBLOWERCHAR = 332,
117
- BBUPPERCHAR = 333,
118
- BBDIGIT = 334,
119
- CALCHAR = 335,
120
- FRAKCHAR = 336,
121
- CAL = 337,
122
- FRAK = 338,
123
- CLAP = 339,
124
- LLAP = 340,
125
- RLAP = 341,
126
- ROWOPTS = 342,
127
- TEXTSIZE = 343,
128
- SCSIZE = 344,
129
- SCSCSIZE = 345,
130
- DISPLAY = 346,
131
- TEXTSTY = 347,
132
- TEXTBOX = 348,
133
- TEXTSTRING = 349,
134
- XMLSTRING = 350,
135
- CELLOPTS = 351,
136
- ROWSPAN = 352,
137
- COLSPAN = 353,
138
- THINSPACE = 354,
139
- MEDSPACE = 355,
140
- THICKSPACE = 356,
141
- QUAD = 357,
142
- QQUAD = 358,
143
- NEGSPACE = 359,
144
- PHANTOM = 360,
145
- HREF = 361,
146
- UNKNOWNCHAR = 362,
147
- EMPTYMROW = 363,
148
- STATLINE = 364,
149
- TOOLTIP = 365,
150
- TOGGLE = 366,
151
- FGHIGHLIGHT = 367,
152
- BGHIGHLIGHT = 368,
153
- SPACE = 369,
154
- INTONE = 370,
155
- INTTWO = 371,
156
- INTTHREE = 372,
157
- BAR = 373,
158
- WIDEBAR = 374,
159
- VEC = 375,
160
- WIDEVEC = 376,
161
- HAT = 377,
162
- WIDEHAT = 378,
163
- CHECK = 379,
164
- WIDECHECK = 380,
165
- TILDE = 381,
166
- WIDETILDE = 382,
167
- DOT = 383,
168
- DDOT = 384,
169
- DDDOT = 385,
170
- DDDDOT = 386,
171
- UNARYMINUS = 387,
172
- UNARYPLUS = 388,
173
- BEGINENV = 389,
174
- ENDENV = 390,
175
- MATRIX = 391,
176
- PMATRIX = 392,
177
- BMATRIX = 393,
178
- BBMATRIX = 394,
179
- VMATRIX = 395,
180
- VVMATRIX = 396,
181
- SVG = 397,
182
- ENDSVG = 398,
183
- SMALLMATRIX = 399,
184
- CASES = 400,
185
- ALIGNED = 401,
186
- GATHERED = 402,
187
- SUBSTACK = 403,
188
- PMOD = 404,
189
- RMCHAR = 405,
190
- COLOR = 406,
191
- BGCOLOR = 407
111
+ BOXED = 327,
112
+ SLASHED = 328,
113
+ RM = 329,
114
+ BB = 330,
115
+ ST = 331,
116
+ END = 332,
117
+ BBLOWERCHAR = 333,
118
+ BBUPPERCHAR = 334,
119
+ BBDIGIT = 335,
120
+ CALCHAR = 336,
121
+ FRAKCHAR = 337,
122
+ CAL = 338,
123
+ FRAK = 339,
124
+ CLAP = 340,
125
+ LLAP = 341,
126
+ RLAP = 342,
127
+ ROWOPTS = 343,
128
+ TEXTSIZE = 344,
129
+ SCSIZE = 345,
130
+ SCSCSIZE = 346,
131
+ DISPLAY = 347,
132
+ TEXTSTY = 348,
133
+ TEXTBOX = 349,
134
+ TEXTSTRING = 350,
135
+ XMLSTRING = 351,
136
+ CELLOPTS = 352,
137
+ ROWSPAN = 353,
138
+ COLSPAN = 354,
139
+ THINSPACE = 355,
140
+ MEDSPACE = 356,
141
+ THICKSPACE = 357,
142
+ QUAD = 358,
143
+ QQUAD = 359,
144
+ NEGSPACE = 360,
145
+ PHANTOM = 361,
146
+ HREF = 362,
147
+ UNKNOWNCHAR = 363,
148
+ EMPTYMROW = 364,
149
+ STATLINE = 365,
150
+ TOOLTIP = 366,
151
+ TOGGLE = 367,
152
+ FGHIGHLIGHT = 368,
153
+ BGHIGHLIGHT = 369,
154
+ SPACE = 370,
155
+ INTONE = 371,
156
+ INTTWO = 372,
157
+ INTTHREE = 373,
158
+ BAR = 374,
159
+ WIDEBAR = 375,
160
+ VEC = 376,
161
+ WIDEVEC = 377,
162
+ HAT = 378,
163
+ WIDEHAT = 379,
164
+ CHECK = 380,
165
+ WIDECHECK = 381,
166
+ TILDE = 382,
167
+ WIDETILDE = 383,
168
+ DOT = 384,
169
+ DDOT = 385,
170
+ DDDOT = 386,
171
+ DDDDOT = 387,
172
+ UNARYMINUS = 388,
173
+ UNARYPLUS = 389,
174
+ BEGINENV = 390,
175
+ ENDENV = 391,
176
+ MATRIX = 392,
177
+ PMATRIX = 393,
178
+ BMATRIX = 394,
179
+ BBMATRIX = 395,
180
+ VMATRIX = 396,
181
+ VVMATRIX = 397,
182
+ SVG = 398,
183
+ ENDSVG = 399,
184
+ SMALLMATRIX = 400,
185
+ CASES = 401,
186
+ ALIGNED = 402,
187
+ GATHERED = 403,
188
+ SUBSTACK = 404,
189
+ PMOD = 405,
190
+ RMCHAR = 406,
191
+ COLOR = 407,
192
+ BGCOLOR = 408
192
193
  };
193
194
  #endif
194
195
  /* Tokens. */
@@ -261,87 +262,88 @@
261
262
  #define ATTRLIST 324
262
263
  #define ITALICS 325
263
264
  #define BOLD 326
264
- #define SLASHED 327
265
- #define RM 328
266
- #define BB 329
267
- #define ST 330
268
- #define END 331
269
- #define BBLOWERCHAR 332
270
- #define BBUPPERCHAR 333
271
- #define BBDIGIT 334
272
- #define CALCHAR 335
273
- #define FRAKCHAR 336
274
- #define CAL 337
275
- #define FRAK 338
276
- #define CLAP 339
277
- #define LLAP 340
278
- #define RLAP 341
279
- #define ROWOPTS 342
280
- #define TEXTSIZE 343
281
- #define SCSIZE 344
282
- #define SCSCSIZE 345
283
- #define DISPLAY 346
284
- #define TEXTSTY 347
285
- #define TEXTBOX 348
286
- #define TEXTSTRING 349
287
- #define XMLSTRING 350
288
- #define CELLOPTS 351
289
- #define ROWSPAN 352
290
- #define COLSPAN 353
291
- #define THINSPACE 354
292
- #define MEDSPACE 355
293
- #define THICKSPACE 356
294
- #define QUAD 357
295
- #define QQUAD 358
296
- #define NEGSPACE 359
297
- #define PHANTOM 360
298
- #define HREF 361
299
- #define UNKNOWNCHAR 362
300
- #define EMPTYMROW 363
301
- #define STATLINE 364
302
- #define TOOLTIP 365
303
- #define TOGGLE 366
304
- #define FGHIGHLIGHT 367
305
- #define BGHIGHLIGHT 368
306
- #define SPACE 369
307
- #define INTONE 370
308
- #define INTTWO 371
309
- #define INTTHREE 372
310
- #define BAR 373
311
- #define WIDEBAR 374
312
- #define VEC 375
313
- #define WIDEVEC 376
314
- #define HAT 377
315
- #define WIDEHAT 378
316
- #define CHECK 379
317
- #define WIDECHECK 380
318
- #define TILDE 381
319
- #define WIDETILDE 382
320
- #define DOT 383
321
- #define DDOT 384
322
- #define DDDOT 385
323
- #define DDDDOT 386
324
- #define UNARYMINUS 387
325
- #define UNARYPLUS 388
326
- #define BEGINENV 389
327
- #define ENDENV 390
328
- #define MATRIX 391
329
- #define PMATRIX 392
330
- #define BMATRIX 393
331
- #define BBMATRIX 394
332
- #define VMATRIX 395
333
- #define VVMATRIX 396
334
- #define SVG 397
335
- #define ENDSVG 398
336
- #define SMALLMATRIX 399
337
- #define CASES 400
338
- #define ALIGNED 401
339
- #define GATHERED 402
340
- #define SUBSTACK 403
341
- #define PMOD 404
342
- #define RMCHAR 405
343
- #define COLOR 406
344
- #define BGCOLOR 407
265
+ #define BOXED 327
266
+ #define SLASHED 328
267
+ #define RM 329
268
+ #define BB 330
269
+ #define ST 331
270
+ #define END 332
271
+ #define BBLOWERCHAR 333
272
+ #define BBUPPERCHAR 334
273
+ #define BBDIGIT 335
274
+ #define CALCHAR 336
275
+ #define FRAKCHAR 337
276
+ #define CAL 338
277
+ #define FRAK 339
278
+ #define CLAP 340
279
+ #define LLAP 341
280
+ #define RLAP 342
281
+ #define ROWOPTS 343
282
+ #define TEXTSIZE 344
283
+ #define SCSIZE 345
284
+ #define SCSCSIZE 346
285
+ #define DISPLAY 347
286
+ #define TEXTSTY 348
287
+ #define TEXTBOX 349
288
+ #define TEXTSTRING 350
289
+ #define XMLSTRING 351
290
+ #define CELLOPTS 352
291
+ #define ROWSPAN 353
292
+ #define COLSPAN 354
293
+ #define THINSPACE 355
294
+ #define MEDSPACE 356
295
+ #define THICKSPACE 357
296
+ #define QUAD 358
297
+ #define QQUAD 359
298
+ #define NEGSPACE 360
299
+ #define PHANTOM 361
300
+ #define HREF 362
301
+ #define UNKNOWNCHAR 363
302
+ #define EMPTYMROW 364
303
+ #define STATLINE 365
304
+ #define TOOLTIP 366
305
+ #define TOGGLE 367
306
+ #define FGHIGHLIGHT 368
307
+ #define BGHIGHLIGHT 369
308
+ #define SPACE 370
309
+ #define INTONE 371
310
+ #define INTTWO 372
311
+ #define INTTHREE 373
312
+ #define BAR 374
313
+ #define WIDEBAR 375
314
+ #define VEC 376
315
+ #define WIDEVEC 377
316
+ #define HAT 378
317
+ #define WIDEHAT 379
318
+ #define CHECK 380
319
+ #define WIDECHECK 381
320
+ #define TILDE 382
321
+ #define WIDETILDE 383
322
+ #define DOT 384
323
+ #define DDOT 385
324
+ #define DDDOT 386
325
+ #define DDDDOT 387
326
+ #define UNARYMINUS 388
327
+ #define UNARYPLUS 389
328
+ #define BEGINENV 390
329
+ #define ENDENV 391
330
+ #define MATRIX 392
331
+ #define PMATRIX 393
332
+ #define BMATRIX 394
333
+ #define BBMATRIX 395
334
+ #define VMATRIX 396
335
+ #define VVMATRIX 397
336
+ #define SVG 398
337
+ #define ENDSVG 399
338
+ #define SMALLMATRIX 400
339
+ #define CASES 401
340
+ #define ALIGNED 402
341
+ #define GATHERED 403
342
+ #define SUBSTACK 404
343
+ #define PMOD 405
344
+ #define RMCHAR 406
345
+ #define COLOR 407
346
+ #define BGCOLOR 408
345
347
 
346
348
 
347
349