itextomml 1.3.24 → 1.3.25
Sign up to get free protection for your applications and to get access to all the features.
- data/ext/itex2MML.h +3 -3
- data/ext/lex.yy.c +1667 -1659
- data/ext/y.tab.c +1391 -1375
- data/ext/y.tab.h +164 -162
- data/lib/itex_stringsupport.rb +2377 -0
- 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
|
-
|
112
|
-
|
113
|
-
|
114
|
-
|
115
|
-
|
116
|
-
|
117
|
-
|
118
|
-
|
119
|
-
|
120
|
-
|
121
|
-
|
122
|
-
|
123
|
-
|
124
|
-
|
125
|
-
|
126
|
-
|
127
|
-
|
128
|
-
|
129
|
-
|
130
|
-
|
131
|
-
|
132
|
-
|
133
|
-
|
134
|
-
|
135
|
-
|
136
|
-
|
137
|
-
|
138
|
-
|
139
|
-
|
140
|
-
|
141
|
-
|
142
|
-
|
143
|
-
|
144
|
-
|
145
|
-
|
146
|
-
|
147
|
-
|
148
|
-
|
149
|
-
|
150
|
-
|
151
|
-
|
152
|
-
|
153
|
-
|
154
|
-
|
155
|
-
|
156
|
-
|
157
|
-
|
158
|
-
|
159
|
-
|
160
|
-
|
161
|
-
|
162
|
-
|
163
|
-
|
164
|
-
|
165
|
-
|
166
|
-
|
167
|
-
|
168
|
-
|
169
|
-
|
170
|
-
|
171
|
-
|
172
|
-
|
173
|
-
|
174
|
-
|
175
|
-
|
176
|
-
|
177
|
-
|
178
|
-
|
179
|
-
|
180
|
-
|
181
|
-
|
182
|
-
|
183
|
-
|
184
|
-
|
185
|
-
|
186
|
-
|
187
|
-
|
188
|
-
|
189
|
-
|
190
|
-
|
191
|
-
|
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
|
265
|
-
#define
|
266
|
-
#define
|
267
|
-
#define
|
268
|
-
#define
|
269
|
-
#define
|
270
|
-
#define
|
271
|
-
#define
|
272
|
-
#define
|
273
|
-
#define
|
274
|
-
#define
|
275
|
-
#define
|
276
|
-
#define
|
277
|
-
#define
|
278
|
-
#define
|
279
|
-
#define
|
280
|
-
#define
|
281
|
-
#define
|
282
|
-
#define
|
283
|
-
#define
|
284
|
-
#define
|
285
|
-
#define
|
286
|
-
#define
|
287
|
-
#define
|
288
|
-
#define
|
289
|
-
#define
|
290
|
-
#define
|
291
|
-
#define
|
292
|
-
#define
|
293
|
-
#define
|
294
|
-
#define
|
295
|
-
#define
|
296
|
-
#define
|
297
|
-
#define
|
298
|
-
#define
|
299
|
-
#define
|
300
|
-
#define
|
301
|
-
#define
|
302
|
-
#define
|
303
|
-
#define
|
304
|
-
#define
|
305
|
-
#define
|
306
|
-
#define
|
307
|
-
#define
|
308
|
-
#define
|
309
|
-
#define
|
310
|
-
#define
|
311
|
-
#define
|
312
|
-
#define
|
313
|
-
#define
|
314
|
-
#define
|
315
|
-
#define
|
316
|
-
#define
|
317
|
-
#define
|
318
|
-
#define
|
319
|
-
#define
|
320
|
-
#define
|
321
|
-
#define
|
322
|
-
#define
|
323
|
-
#define
|
324
|
-
#define
|
325
|
-
#define
|
326
|
-
#define
|
327
|
-
#define
|
328
|
-
#define
|
329
|
-
#define
|
330
|
-
#define
|
331
|
-
#define
|
332
|
-
#define
|
333
|
-
#define
|
334
|
-
#define
|
335
|
-
#define
|
336
|
-
#define
|
337
|
-
#define
|
338
|
-
#define
|
339
|
-
#define
|
340
|
-
#define
|
341
|
-
#define
|
342
|
-
#define
|
343
|
-
#define
|
344
|
-
#define
|
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
|
|