Annotation of Amaya/amaya/HTMLT.T, revision 1.88

1.3       cvs         1:                { Author: I. Vatton      1994-1995-1996  }
1.1       cvs         2: 
1.72      cvs         3: { If variable XML is set, the document is saved in the XHTML syntax.
1.66      cvs         4:   Otherwise, it is saved in plain HTML }
1.53      cvs         5: 
1.1       cvs         6: TRANSLATION HTML;
                      7: 
1.3       cvs         8: LINELENGTH 78;
1.1       cvs         9: 
                     10: CONST
1.12      cvs        11:    DoubleQuote  = '"';
1.1       cvs        12: 
                     13: RULES
                     14: 
                     15:  HTML : BEGIN
1.53      cvs        16: #ifdef XML
1.66      cvs        17:        if HtmlDTD = Frameset
                     18:           BEGIN
1.81      cvs        19:           Create '<?xml version="1.0" ?>\12';
1.73      cvs        20:           Create '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Frameset//EN"\12';
1.81      cvs        21:           Create '                      "xhtml1-frameset.dtd">\12';
                     22:           Create '<html xmlns="http://www.w3.org/Profiles/xhtml1-frameset"';
1.66      cvs        23:           END;
                     24:        if not HtmlDTD = Frameset
                     25:           BEGIN
1.81      cvs        26:           Create '<?xml version="1.0" ?>\12';
1.74      cvs        27:           Create '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"\12';
1.81      cvs        28:           Create '                      "xhtml1-transitional.dtd">\12';
                     29:           Create '<html xmlns="http://www.w3.org/Profiles/xhtml1-transitional"';
1.66      cvs        30:           END;
1.53      cvs        31:        Create Namespaces;
1.55      cvs        32: #else
1.58      cvs        33:        if HtmlDTD = Frameset
1.75      cvs        34:           BEGIN
1.73      cvs        35:           Create '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Frameset//EN"\12';
1.80      cvs        36:           Create '                      "http://www.w3.org/TR/REC-html40/frameset.dtd">\12';
1.75      cvs        37:           END;
1.58      cvs        38:         if not HtmlDTD = Frameset
1.75      cvs        39:           BEGIN
1.73      cvs        40:           Create '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"\12';
1.80      cvs        41:           Create '                      "http://www.w3.org/TR/REC-html40/loose.dtd">\12';
1.75      cvs        42:           END;
1.18      cvs        43:        Create '<html';
1.55      cvs        44: #endif
1.18      cvs        45:        Create Attributes;
                     46:        Create '>\12';
1.15      cvs        47:        Create '</html>\12' After;
1.1       cvs        48:        END;
                     49: 
                     50:  HEAD: BEGIN
1.77      cvs        51:        Create '<head' Before;
                     52:        Create Attributes Before;
                     53:        Create '>\12' Before;
1.80      cvs        54:        Indent +2 Before;
                     55:        Indent -2 After;
                     56:        Create '</head>\12\12' After;
1.1       cvs        57:        END;
                     58: 
                     59:  Document_URL:
                     60:        BEGIN
                     61:        Remove;
                     62:        END;
                     63: 
                     64:  TITLE:        BEGIN
1.18      cvs        65:        Create '<title';
                     66:        Create Attributes;
1.59      cvs        67:        Create '>';
1.15      cvs        68:        Create '</title>\12' After;
1.1       cvs        69:        END;
                     70: 
                     71:  ISINDEX: BEGIN
1.77      cvs        72: #ifdef XML
                     73:        { elements TITLE and BASE must be generated as the first chidren
                     74:          of the HEAD element }
                     75:        Get TITLE Before;
                     76:        Get BASE Before;
                     77: #endif
1.15      cvs        78:        Create '<isindex';
1.1       cvs        79:        IF Prompt
                     80:           BEGIN
                     81:           Create ' prompt="';
                     82:           Create Prompt;
1.12      cvs        83:           Create DoubleQuote;
1.1       cvs        84:           END;
                     85:        Create Attributes;
                     86:        Remove;
1.53      cvs        87: #ifdef XML
                     88:        Create ' />\12';
                     89: #else
1.1       cvs        90:        Create '>\12';
1.53      cvs        91: #endif
1.1       cvs        92:        END;
                     93: 
                     94:  BASE: BEGIN
1.77      cvs        95: #ifdef XML
                     96:        { elements TITLE and BASE must be generated as the first chidren
                     97:          of the HEAD element }
                     98:        Get TITLE Before;
                     99: #endif
1.15      cvs       100:        Create '<base ';
1.1       cvs       101:        Create Attributes;
                    102:        Remove;
1.53      cvs       103: #ifdef XML
                    104:        Create ' />\12';
                    105: #else
1.1       cvs       106:        Create '>\12';
1.53      cvs       107: #endif
1.1       cvs       108:        END;
                    109: 
1.52      cvs       110:  STYLE_: BEGIN
1.77      cvs       111: #ifdef XML
                    112:        { elements TITLE and BASE must be generated as the first chidren
                    113:          of the HEAD element }
                    114:        Get TITLE Before;
                    115:        Get BASE Before;
                    116: #endif
1.15      cvs       117:        Create '<style';
1.1       cvs       118:        IF Notation
                    119:           BEGIN
1.55      cvs       120:           Create ' type="';
1.1       cvs       121:           Create Notation;
1.55      cvs       122:           Create DoubleQuote;
1.1       cvs       123:           END;
                    124:        Create Attributes;
1.47      cvs       125:        Create '>';
1.61      cvs       126:        NoLineBreak;
1.45      cvs       127:        NoTranslation;
1.84      cvs       128:        Indent Suspend;
                    129:        Indent Resume After;
1.80      cvs       130:        Create '</style>\12' After;
1.1       cvs       131:        END;
                    132: 
                    133:  SCRIPT: BEGIN
1.77      cvs       134: #ifdef XML
                    135:        { elements TITLE and BASE must be generated as the first chidren
                    136:          of the HEAD element }
                    137:        Get TITLE Before;
                    138:        Get BASE Before;
                    139: #endif
1.15      cvs       140:        Create '<script';
1.1       cvs       141:        Create Attributes;
1.52      cvs       142:        Create '>\12';
1.61      cvs       143:        NoLineBreak;
1.52      cvs       144:        NoTranslation;
1.84      cvs       145:        Indent Suspend;
                    146:        Indent Resume After;
1.80      cvs       147:        Create '</script>\12' After;
1.1       cvs       148:        END;
                    149: 
                    150:  META: BEGIN
1.77      cvs       151: #ifdef XML
                    152:        { elements TITLE and BASE must be generated as the first chidren
                    153:          of the HEAD element }
                    154:        Get TITLE Before;
                    155:        Get BASE Before;
                    156: #endif
                    157:        Create '<meta' Before;
                    158:        Create Attributes Before;
1.1       cvs       159:        Remove;
1.53      cvs       160: #ifdef XML
1.77      cvs       161:        Create ' />\12' After;
1.53      cvs       162: #else
1.77      cvs       163:        Create '>\12' After;
1.53      cvs       164: #endif
1.1       cvs       165:        END;
                    166: 
                    167:  LINK: BEGIN
1.77      cvs       168: #ifdef XML
                    169:        { elements TITLE and BASE must be generated as the first chidren
                    170:          of the HEAD element }
                    171:        Get TITLE Before;
                    172:        Get BASE Before;
                    173: #endif
1.15      cvs       174:        Create '<link';
1.1       cvs       175:        Remove;
                    176:        Create Attributes;
1.53      cvs       177: #ifdef XML
                    178:        Create ' />\12';
                    179: #else
                    180:        Create '>\12';
                    181: #endif
1.1       cvs       182:        END;
                    183: 
                    184:  BODY: BEGIN
1.15      cvs       185:        Create '<body';
1.1       cvs       186:        Create Attributes;
                    187:        Create '>\12';
1.15      cvs       188:        Create '</body>\12' After;
1.1       cvs       189:        END;
                    190: 
                    191:  H1:   BEGIN
1.80      cvs       192:        if not within Preformatted and not first Create '\12';
1.15      cvs       193:        Create '<h1';
1.1       cvs       194:        Create Attributes;
                    195:        Create '>';
1.15      cvs       196:        Create '</h1>' After;
1.28      cvs       197:        if not within Preformatted Create '\12' After;
1.1       cvs       198:        END;
                    199: 
                    200:  H2:   BEGIN
1.80      cvs       201:        if not within Preformatted and not first Create '\12';
1.15      cvs       202:        Create '<h2';
1.1       cvs       203:        Create Attributes;
                    204:        Create '>';
1.15      cvs       205:        Create '</h2>' After;
1.28      cvs       206:        if not within Preformatted Create '\12' After;
1.1       cvs       207:        END;
                    208: 
                    209:  H3:   BEGIN
1.80      cvs       210:        if not within Preformatted and not first Create '\12';
1.15      cvs       211:        Create '<h3';
1.1       cvs       212:        Create Attributes;
                    213:        Create '>';
1.15      cvs       214:        Create '</h3>' After;
1.28      cvs       215:        if not within Preformatted Create '\12' After;
1.1       cvs       216:        END;
                    217: 
                    218:  H4:   BEGIN
1.80      cvs       219:        if not within Preformatted and not first Create '\12';
1.15      cvs       220:        Create '<h4';
1.1       cvs       221:        Create Attributes;
                    222:        Create '>';
1.15      cvs       223:        Create '</h4>' After;
1.28      cvs       224:        if not within Preformatted Create '\12' After;
1.1       cvs       225:        END;
                    226: 
                    227:  H5:   BEGIN
1.80      cvs       228:        if not within Preformatted and not first Create '\12';
1.15      cvs       229:        Create '<h5';
1.1       cvs       230:        Create Attributes;
                    231:        Create '>';
1.15      cvs       232:        Create '</h5>' After;
                    233:        if not within Preformatted Create '\12' After;
1.1       cvs       234:        END;
                    235: 
                    236:  H6:   BEGIN
1.80      cvs       237:        if not within Preformatted and not first Create '\12';
1.15      cvs       238:        Create '<h6';
1.1       cvs       239:        Create Attributes;
                    240:        Create '>';
1.15      cvs       241:        Create '</h6>' After;
                    242:        if not within Preformatted Create '\12' After;
1.1       cvs       243:        END;
                    244: 
                    245:  BaseFont:
                    246:        BEGIN
1.15      cvs       247:        Create '<basefont';
1.1       cvs       248:        Remove;
                    249:        Create Attributes;
1.53      cvs       250: #ifdef XML
                    251:        Create ' />\12';
                    252: #else
1.1       cvs       253:        Create '>\12';
1.53      cvs       254: #endif
1.1       cvs       255:        END;
                    256: 
1.6       cvs       257:  BR:   BEGIN
1.15      cvs       258:        Create '<br';
1.53      cvs       259:        Remove;
1.6       cvs       260:        Create Attributes;
1.53      cvs       261: #ifdef XML
                    262:        Create ' />\12';
                    263: #else
1.13      cvs       264:        Create '>\12';
1.53      cvs       265: #endif
1.6       cvs       266:        END;
1.53      cvs       267: 
1.1       cvs       268:  Italic_text:
                    269:        BEGIN
1.15      cvs       270:        Create '<i';
1.1       cvs       271:        Create Attributes;
                    272:        Create '>';
1.15      cvs       273:        Create '</i>' After;
1.1       cvs       274:        END;
1.53      cvs       275: 
1.1       cvs       276:  Bold_text:
                    277:        BEGIN
1.15      cvs       278:        Create '<b';
1.1       cvs       279:        Create Attributes;
                    280:        Create '>';
1.15      cvs       281:        Create '</b>' After;
1.1       cvs       282:        END;
                    283:  Teletype_text:
                    284:        BEGIN
1.15      cvs       285:        Create '<tt';
1.1       cvs       286:        Create Attributes;
                    287:        Create '>';
1.15      cvs       288:        Create '</tt>' After;
1.1       cvs       289:        END;
1.8       cvs       290:  Underlined_text:
                    291:        BEGIN
1.15      cvs       292:        Create '<u';
1.8       cvs       293:        Create Attributes;
                    294:        Create '>';
1.15      cvs       295:        Create '</u>' After;
1.8       cvs       296:        END;
1.1       cvs       297:  Struck_text:
                    298:        BEGIN
1.15      cvs       299:        Create '<strike';
1.1       cvs       300:        Create Attributes;
                    301:        Create '>';
1.15      cvs       302:        Create '</strike>' After;
1.1       cvs       303:        END;
                    304:  Big_text:
                    305:        BEGIN
1.15      cvs       306:        Create '<big';
1.1       cvs       307:        Create Attributes;
                    308:        Create '>';
1.15      cvs       309:        Create '</big>' After;
1.1       cvs       310:        END;
                    311:  Small_text:
                    312:        BEGIN
1.15      cvs       313:        Create '<small';
1.1       cvs       314:        Create Attributes;
                    315:        Create '>';
1.15      cvs       316:        Create '</small>' After;
1.1       cvs       317:        END;
                    318:  Subscript:
                    319:        BEGIN
1.15      cvs       320:        Create '<sub';
1.1       cvs       321:        Create Attributes;
                    322:        Create '>';
1.15      cvs       323:        Create '</sub>' After;
1.1       cvs       324:        END;
                    325:  Superscript:
                    326:        BEGIN
1.15      cvs       327:        Create '<sup';
1.1       cvs       328:        Create Attributes;
                    329:        Create '>';
1.15      cvs       330:        Create '</sup>' After;
1.1       cvs       331:        END;
                    332: 
                    333:  Emphasis:
                    334:        BEGIN
1.15      cvs       335:        Create '<em';
1.1       cvs       336:        Create Attributes;
                    337:        Create '>';
1.15      cvs       338:        Create '</em>' After;
1.1       cvs       339:        END;
                    340:  Strong:
                    341:        BEGIN
1.15      cvs       342:        Create '<strong';
1.1       cvs       343:        Create Attributes;
                    344:        Create '>';
1.15      cvs       345:        Create '</strong>' After;
1.1       cvs       346:        END;
                    347:  Def:
                    348:        BEGIN
1.15      cvs       349:        Create '<dfn';
1.1       cvs       350:        Create Attributes;
                    351:        Create '>';
1.15      cvs       352:        Create '</dfn>' After;
1.1       cvs       353:        END;
                    354:  Code:
                    355:        BEGIN
1.15      cvs       356:        Create '<code';
1.1       cvs       357:        Create Attributes;
                    358:        Create '>';
1.15      cvs       359:        Create '</code>' After;
1.1       cvs       360:        END;
                    361:  Sample:
                    362:        BEGIN
1.15      cvs       363:        Create '<samp';
1.1       cvs       364:        Create Attributes;
                    365:        Create '>';
1.15      cvs       366:        Create '</samp>' After;
1.1       cvs       367:        END;
                    368:  Keyboard:
                    369:        BEGIN
1.15      cvs       370:        Create '<kbd';
1.1       cvs       371:        Create Attributes;
                    372:        Create '>';
1.15      cvs       373:        Create '</kbd>' After;
1.1       cvs       374:        END;
                    375:  Variable:
                    376:        BEGIN
1.15      cvs       377:        Create '<var';
1.1       cvs       378:        Create Attributes;
                    379:        Create '>';
1.15      cvs       380:        Create '</var>' After;
1.1       cvs       381:        END;
                    382:  Cite:
                    383:        BEGIN
1.15      cvs       384:        Create '<cite';
1.1       cvs       385:        Create Attributes;
                    386:        Create '>';
1.15      cvs       387:        Create '</cite>' After;
1.1       cvs       388:        END;
1.48      cvs       389:  ABBR:
                    390:        BEGIN
                    391:        Create '<abbr';
                    392:        Create Attributes;
                    393:        Create '>';
                    394:        Create '</abbr>' After;
                    395:        END;
                    396:  ACRONYM:
                    397:        BEGIN
                    398:        Create '<acronym';
                    399:        Create Attributes;
                    400:        Create '>';
                    401:        Create '</acronym>' After;
                    402:        END;
1.1       cvs       403: 
                    404:  Font_: BEGIN
1.15      cvs       405:        Create '<font';
1.1       cvs       406:        Create Attributes;
                    407:        Create '>';
1.15      cvs       408:        Create '</font>' After;
1.1       cvs       409:        END;
                    410: 
                    411:  Applet: BEGIN
1.15      cvs       412:        Create '<applet';
1.1       cvs       413:        Create Attributes;
                    414:        Create '>\12';
1.15      cvs       415:        Create '</applet>\12' After;    
1.1       cvs       416:        END;
                    417: 
                    418:  Parameter: BEGIN
1.15      cvs       419:        Create '<param';
1.1       cvs       420:        Create Attributes;
                    421:        Remove;
1.53      cvs       422: #ifdef XML
                    423:        Create ' />\12';
                    424: #else
1.1       cvs       425:        Create '>\12';
1.53      cvs       426: #endif
1.1       cvs       427:        END;
                    428: 
                    429:  Object: BEGIN
1.15      cvs       430:        Create '<object';
1.1       cvs       431:        Create Attributes;
                    432:        Create '>\12';
1.15      cvs       433:        Create '</object>\12' After;    
1.1       cvs       434:        END;
1.20      cvs       435: 
1.49      cvs       436:  INS:  BEGIN
                    437:        Create '<ins';
                    438:        Create Attributes;
                    439:        Create '>';
1.53      cvs       440:        Create '</ins>' After;
1.49      cvs       441:        END;
                    442: 
                    443:  DEL:  BEGIN
                    444:        Create '<del';
                    445:        Create Attributes;
                    446:        Create '>';
1.53      cvs       447:        Create '</del>' After;
1.49      cvs       448:        END;
                    449: 
1.20      cvs       450:  Span: BEGIN
                    451:        Create '<span';
                    452:        Create Attributes;
                    453:        Create '>';
                    454:        Create '</span>' After;
                    455:        END;
1.29      cvs       456: 
1.48      cvs       457:  Quotation: BEGIN
                    458:        Create '<q';
                    459:        Create Attributes;
                    460:        Create '>';
                    461:        Create '</q>' After;
                    462:        END;
                    463: 
                    464:  BDO: BEGIN
                    465:        Create '<bdo';
                    466:        Create Attributes;
                    467:        Create '>';
                    468:        Create '</bdo>' After;
                    469:        END;
                    470: 
1.33      cvs       471:  Math: BEGIN
                    472:        Create '<math';
1.29      cvs       473:        Create Attributes;
                    474:        Create '>\12';
1.31      cvs       475:         indent +2;
                    476:         indent -2 after;
1.33      cvs       477:        Create '</math>\12' After;      
                    478:        END;
1.30      cvs       479:  MathML:
1.53      cvs       480: #ifdef XML
                    481:        Use MathMLTX;
                    482: #else  
                    483:        Use MathMLT;
                    484: #endif
1.41      cvs       485:  XMLGraphics: BEGIN
                    486:        Create '<xmlgraphics';
                    487:        Create Attributes;
                    488:        Create '>\12';
                    489:         indent +2;
                    490:         indent -2 after;
                    491:        Create '</xmlgraphics>\12' After;       
                    492:        END;
                    493:  GraphML:
1.53      cvs       494: #ifdef XML
                    495:        Use GraphMLTX;
                    496: #else
                    497:        Use GraphMLT;
                    498: #endif
1.29      cvs       499: 
1.1       cvs       500:  Paragraph: BEGIN
1.80      cvs       501:        if not within List_Item and not within Definition and not first
                    502:                Create '\12';
                    503:        Create '<p';
1.16      cvs       504:        Create Attributes;
1.72      cvs       505:        Create '>';
1.80      cvs       506:        Create '</p>\12' After;
1.16      cvs       507:        END;
                    508: 
                    509:  Pseudo_paragraph: BEGIN
1.80      cvs       510:        if not last Create '\12' After;
1.1       cvs       511:        END;
                    512: 
                    513:  TEXT_UNIT: BEGIN
                    514:        IF Within Text_Input
                    515:                Remove;
                    516:        END;
                    517: 
                    518:  Definition_List: BEGIN
1.15      cvs       519:        Create '<dl';
1.1       cvs       520:        Create Attributes;
                    521:        Create '>\12';
1.80      cvs       522:        Indent +2;
                    523:        Indent -2 After;
1.15      cvs       524:        Create '</dl>\12' After;
1.1       cvs       525:        END;
                    526: 
                    527:  Term: BEGIN
1.15      cvs       528:        Create '<dt';
1.1       cvs       529:        Create Attributes;
                    530:        Create '>';
1.15      cvs       531:        Create '</dt>\12' After;
1.1       cvs       532:        END;
                    533: 
                    534:  Definition: BEGIN
1.80      cvs       535:        Indent +2;
1.15      cvs       536:        Create '<dd';
1.1       cvs       537:        Create Attributes;
                    538:        Create '>';
1.80      cvs       539:        Indent +2;
                    540:        Indent -2 After;
1.15      cvs       541:        Create '</dd>\12' After;
1.80      cvs       542:        Indent -2 After;
1.1       cvs       543:        END;
                    544: 
                    545:  Unnumbered_List: BEGIN
1.15      cvs       546:        Create '<ul';
1.1       cvs       547:        Create Attributes;
                    548:        Create '>\12';
1.80      cvs       549:        Indent +2;
                    550:        Indent -2 After;
1.15      cvs       551:        Create '</ul>\12' After;
1.1       cvs       552:        END;
                    553: 
                    554:  Numbered_List:        BEGIN
1.15      cvs       555:        Create '<ol';
1.1       cvs       556:        Create Attributes;
                    557:        Create '>\12';
1.80      cvs       558:        Indent +2;
                    559:        Indent -2 After;
1.15      cvs       560:        Create '</ol>\12' After;
1.1       cvs       561:        END;
                    562: 
                    563:  Address: BEGIN
1.15      cvs       564:        Create '<address';
1.1       cvs       565:        Create Attributes;
                    566:        Create '>\12';
1.80      cvs       567:        Indent +2;
                    568:        Indent -2 After;
                    569:        Create '\12</address>\12' After;
1.1       cvs       570:        END;
                    571: 
                    572:  Menu: BEGIN
1.15      cvs       573:        Create '<menu';
1.1       cvs       574:        Create Attributes;
                    575:        Create '>\12';
1.80      cvs       576:        Indent +2;
                    577:        Indent -2 After;
1.15      cvs       578:        Create '</menu>\12' After;
1.1       cvs       579:        END;
                    580: 
                    581:  Directory: BEGIN
1.15      cvs       582:        Create '<dir';
1.1       cvs       583:        Create Attributes;
                    584:        Create '>\12';
1.80      cvs       585:        Indent +2;
                    586:        Indent -2 After;
1.15      cvs       587:        Create '</dir>\12' After;
1.1       cvs       588:        END;
                    589: 
                    590:  List_Item: BEGIN
1.15      cvs       591:        Create '<li';
1.1       cvs       592:        Create Attributes;
                    593:        Create '>';
1.80      cvs       594:        Indent +2;
                    595:        Indent -2 After;
1.53      cvs       596:        Create '</li>\12' After;
1.1       cvs       597:        END;
                    598: 
                    599:  Preformatted: BEGIN
                    600:        NoLineBreak;
1.15      cvs       601:        Create '<pre';
1.1       cvs       602:        Create Attributes;
                    603:        Create '>';
1.84      cvs       604:        Indent Suspend;
                    605:         Indent Resume After;
1.15      cvs       606:        Create '</pre>\12' After;
1.1       cvs       607:        END;
                    608: 
                    609:  Horizontal_Rule: BEGIN
1.15      cvs       610:        Create '<hr';
1.1       cvs       611:        Create Attributes;
                    612:        Remove;
1.53      cvs       613: #ifdef XML
                    614:        Create ' />\12';
                    615: #else
                    616:        Create '>\12';
                    617: #endif
1.17      cvs       618:        if not within Preformatted Create '\12';
1.1       cvs       619:        END;
                    620: 
                    621:  Form: BEGIN
1.80      cvs       622:        Create '\12<form';
1.1       cvs       623:        Create Attributes;
                    624:        Create '>\12';
1.80      cvs       625:        Indent +2;
                    626:        Indent -2 After;
1.15      cvs       627:        Create '</form>\12' After;
1.1       cvs       628:        END;
                    629: 
                    630:  Option_Menu: BEGIN
1.15      cvs       631:        Create '\12<select';
1.1       cvs       632:        Create Attributes;
1.5       cvs       633:        Create '>';
1.80      cvs       634:        Indent +2;
                    635:        Indent -2 After;
1.15      cvs       636:        Create '\12</select>\12' After;
1.1       cvs       637:        END;
                    638: 
                    639:  Option: BEGIN
1.15      cvs       640:        Create '\12<option';
1.5       cvs       641:        Create Attributes;
                    642:        Create '>';
1.53      cvs       643:        Create '</option>' After;
1.1       cvs       644:        END;
                    645: 
1.62      cvs       646:  OptGroup: BEGIN
                    647:        Create '\12<optgroup';
                    648:        Create Attributes;
                    649:        Create '>';
1.80      cvs       650:        Indent +2;
                    651:        Indent -2 After;
                    652:        Create '\12</optgroup>' After;
1.62      cvs       653:        END;
                    654: 
1.1       cvs       655:  Text_Area: BEGIN
1.15      cvs       656:        Create '<textarea';
1.1       cvs       657:        Create Attributes;
                    658:        Create '>';
1.57      cvs       659:        Create '</textarea>' After;
1.1       cvs       660:        END;
                    661: 
1.63      cvs       662:  FIELDSET: BEGIN
                    663:        Create '<fieldset';
                    664:        Create Attributes;
                    665:        Create '>\12';
                    666:         Indent +2;
                    667:         Indent -2 After;
                    668:        Create '</fieldset>\12' After;
                    669:        END;
                    670: 
                    671:  LEGEND: BEGIN
                    672:        Create '<legend';
                    673:        Create Attributes;
                    674:        Create '>';
                    675:        Create '</legend>' After;
                    676:        END;
                    677: 
1.56      cvs       678:  LABEL: BEGIN
                    679:        Create '<label';
                    680:        Create Attributes;
                    681:        Create '>';
1.57      cvs       682:        Create '</label>' After;
1.56      cvs       683:        END;
                    684: 
                    685:  BUTTON: BEGIN
                    686:        Create '<button';
                    687:        Create Attributes;
                    688:        Create '>';
1.57      cvs       689:        Create '</button>' After;
1.56      cvs       690:        END;
                    691: 
1.1       cvs       692:  Checkbox_Input: BEGIN
1.56      cvs       693:        Create '<input type="checkbox"';
1.1       cvs       694:        Create Attributes;
1.53      cvs       695: #ifdef XML
                    696:        Create ' />';
                    697: #else
1.1       cvs       698:        Create '>';
1.53      cvs       699: #endif
1.1       cvs       700:        Remove;
                    701:        END;
                    702: 
                    703:  Radio_Input: BEGIN
1.56      cvs       704:        Create '<input type="radio"';
1.1       cvs       705:        Create Attributes;
1.53      cvs       706: #ifdef XML
                    707:        Create ' />';
                    708: #else
1.1       cvs       709:        Create '>';
1.53      cvs       710: #endif
1.1       cvs       711:        Remove;
                    712:        END;
                    713: 
                    714:  Text_Input: BEGIN
1.56      cvs       715:        Create '<input type="text"';
1.1       cvs       716:        Create Attributes;
1.53      cvs       717: #ifdef XML
                    718:        Create ' />';
                    719: #else
1.1       cvs       720:        Create '>';
1.53      cvs       721: #endif
1.1       cvs       722:        Remove;
                    723:        END;
                    724: 
                    725:  Hidden_Input: BEGIN
1.56      cvs       726:        Create '<input type="hidden"';
1.1       cvs       727:        Create Attributes;
1.53      cvs       728: #ifdef XML
                    729:        Create ' />';
                    730: #else
1.1       cvs       731:        Create '>';
1.53      cvs       732: #endif
1.1       cvs       733:        Remove;
                    734:        END;
                    735: 
                    736:  Password_Input: BEGIN
1.56      cvs       737:        Create '<input type="password"';
1.1       cvs       738:        Create Attributes;
1.53      cvs       739: #ifdef XML
                    740:        Create ' />';
                    741: #else
1.1       cvs       742:        Create '>';
1.53      cvs       743: #endif
1.1       cvs       744:        Remove;
                    745:        END;
                    746: 
                    747:  File_Input: BEGIN
1.56      cvs       748:        Create '<input type="file"';
1.1       cvs       749:        Create Attributes;
1.53      cvs       750: #ifdef XML
                    751:        Create ' />';
                    752: #else
1.1       cvs       753:        Create '>';
1.53      cvs       754: #endif
1.1       cvs       755:        Remove;
                    756:        END;
                    757: 
                    758:  Reset_Input: BEGIN
1.56      cvs       759:        Create '\12<input type="reset"';
1.1       cvs       760:        Create Attributes;
1.53      cvs       761: #ifdef XML
                    762:        Create ' />';
                    763: #else
1.1       cvs       764:        Create '>';
1.53      cvs       765: #endif
1.1       cvs       766:        Remove;
                    767:        END;
                    768: 
                    769:  Submit_Input: BEGIN
1.56      cvs       770:        Create '\12<input type="submit"';
                    771:        Create Attributes;
                    772: #ifdef XML
                    773:        Create ' />';
                    774: #else
                    775:        Create '>';
                    776: #endif
                    777:        Remove;
                    778:        END;
                    779: 
                    780:  Button_Input: BEGIN
                    781:        Create '\12<input type="button"';
1.1       cvs       782:        Create Attributes;
1.53      cvs       783: #ifdef XML
                    784:        Create ' />';
                    785: #else
1.1       cvs       786:        Create '>';
1.53      cvs       787: #endif
1.1       cvs       788:        Remove;
                    789:        END;
                    790: 
                    791:  Block_Quote: BEGIN
1.80      cvs       792:        Create '\12<blockquote';
1.1       cvs       793:        Create Attributes;
                    794:        Create '>\12';
1.80      cvs       795:        Indent +2;
                    796:        Indent -2 After;
1.15      cvs       797:        Create '</blockquote>\12' After;
1.1       cvs       798:        END;
                    799: 
                    800:  PICTURE_UNIT: BEGIN
1.10      cvs       801:        if Immediately within Object
                    802:                Remove;
                    803:        if NOT Immediately within Object BEGIN
1.15      cvs       804:                Create '<img';
1.10      cvs       805:                Create Attributes;
1.53      cvs       806: #ifdef XML
                    807:                Create ' />\12';
                    808: #else
                    809:                Create '>';
                    810: #endif
1.10      cvs       811:                END;
                    812:        if NOT within Paragraph AND NOT Immediately within Object
                    813:                Create '\12' After;
1.1       cvs       814:        END;
                    815: 
                    816:  Anchor: BEGIN
1.85      cvs       817:        if Annotation BEGIN
                    818:                Remove;
                    819:                END;
                    820:        if NOT Annotation BEGIN
                    821:                Create '<a';
                    822:                Create Attributes;
                    823:                Create '>';
                    824:                Create '</a>' After;
                    825:                END;
1.1       cvs       826:        END;
                    827: 
                    828:  MAP:
                    829:        BEGIN
1.15      cvs       830:        Create '<map';
1.1       cvs       831:        Create Attributes;
                    832:        Create '>\12';
1.80      cvs       833:        Indent +2;
                    834:        Indent -2 After;
                    835:        Create '</map>\12' After;
1.1       cvs       836:        END;
                    837: 
                    838:  AREA:
                    839:        BEGIN
1.15      cvs       840:        Create '<area';
1.53      cvs       841:        Remove;
1.1       cvs       842:        Create Attributes;
1.53      cvs       843: #ifdef XML
                    844:        Create ' />\12';
                    845: #else
1.1       cvs       846:        Create '>\12';
1.53      cvs       847: #endif
1.1       cvs       848:        END;
                    849: 
                    850: { ---- Tables ---- }
                    851: 
                    852:  Table:
                    853:        BEGIN
1.15      cvs       854:        Create '\12<table';
1.1       cvs       855:        Create Attributes;
                    856:        Create '>\12';
1.80      cvs       857:        Indent +2;
                    858:        Indent -2 after;
1.15      cvs       859:        Create '</table>\12' after;
1.1       cvs       860:        END;
                    861: 
                    862:  CAPTION:
                    863:        BEGIN
1.15      cvs       864:        Create '<caption';
1.1       cvs       865:        Create Attributes;
                    866:        Create '>';
1.15      cvs       867:        Create '</caption>\12' after;
1.1       cvs       868:        END;
                    869: 
1.69      cvs       870:  COLGROUP:
                    871:        BEGIN
                    872:        Create '<colgroup';
                    873:        Create Attributes;
                    874:        Create '>';
1.80      cvs       875:        Indent +2;
                    876:        Indent -2 after;
1.83      cvs       877:        Create '</colgroup>\12' after;
1.69      cvs       878:        END;
                    879: 
                    880:  COL:
                    881:        BEGIN
                    882:        Create '<col';
                    883:        Create Attributes;
                    884:        Create '>';
                    885:        END;
                    886: 
1.1       cvs       887:  Table_head:
                    888:        Remove;
                    889: 
                    890:  thead:
                    891:        BEGIN
1.15      cvs       892:        Create '<thead';
1.1       cvs       893:        Create Attributes;
                    894:        Create '>\12';
1.80      cvs       895:        Indent +2;
                    896:        Indent -2 after;
1.15      cvs       897:        Create '</thead>\12' after;
1.1       cvs       898:        END;
                    899: 
                    900:  tfoot:
                    901:        BEGIN
1.15      cvs       902:        Create '<tfoot';
1.1       cvs       903:        Create Attributes;
                    904:        Create '>\12';
1.80      cvs       905:        Indent +2;
                    906:        Indent -2 after;
1.15      cvs       907:        Create '</tfoot>\12' after;
1.1       cvs       908:        END;
1.80      cvs       909: 
1.1       cvs       910:  tbody:
                    911:        BEGIN
1.15      cvs       912:        Create '<tbody';
1.1       cvs       913:        Create Attributes;
                    914:        Create '>\12';
1.80      cvs       915:        Indent +2;
                    916:        Indent -2 after;
1.15      cvs       917:        Create '</tbody>\12' after;
1.1       cvs       918:        END;
                    919: 
                    920:  Table_body:
                    921:        Get tfoot;
                    922: 
                    923:  Table_row:
                    924:        BEGIN
1.15      cvs       925:        Create '<tr';
1.1       cvs       926:        Create Attributes;
                    927:        Create '>\12';
1.80      cvs       928:        Indent +2;
                    929:        Indent -2 after;
1.15      cvs       930:        Create '</tr>\12' after;
1.1       cvs       931:        END;
                    932: 
                    933:  Data_cell:
                    934:        BEGIN
1.15      cvs       935:        Create '<td';
1.1       cvs       936:        Create Attributes;
                    937:        Create '>';
1.80      cvs       938:        Indent +2;
                    939:        Indent -2 after;
1.25      cvs       940:        Create '</td>\12' after;
1.1       cvs       941:        END;
                    942: 
                    943:  Heading_cell:
                    944:        BEGIN
1.15      cvs       945:        Create '<th';
1.1       cvs       946:        Create Attributes;
                    947:        Create '>';
1.80      cvs       948:        Indent +2;
                    949:        Indent -2 after;
1.25      cvs       950:        Create '</th>\12' after;
1.1       cvs       951:        END;
                    952: 
                    953:  Table_foot:
                    954:        BEGIN
                    955:        Remove;
                    956:        END;
                    957: 
                    958:  Division: BEGIN
1.15      cvs       959:        Create '\12<div';
1.1       cvs       960:        Create Attributes;
                    961:        Create '>\12';
1.15      cvs       962:        Create '</div>\12' After;
1.1       cvs       963:        END;
                    964: 
                    965:  Center: BEGIN
1.15      cvs       966:        Create '\12<center';
1.1       cvs       967:        Create Attributes;
                    968:        Create '>\12';
1.15      cvs       969:        Create '</center>\12' After;
1.1       cvs       970:        END;
                    971: 
1.50      cvs       972:  NOSCRIPT: BEGIN
                    973:        Create '\12<noscript';
                    974:        Create Attributes;
                    975:        Create '>\12';
                    976:        Create '</noscript>\12' After;
                    977:        END;
                    978: 
1.8       cvs       979:  Invalid_element:
                    980:        BEGIN
1.77      cvs       981: #ifdef XML
                    982:        Remove;
                    983: #else
1.8       cvs       984:        if Error_type = BadPosition
                    985:           Remove;
                    986:        if not Error_type = BadPosition
                    987:            BEGIN
                    988:           NoTranslation;
                    989:           Create Content;
                    990:           Remove;
                    991:           Create Attributes;
                    992:           Create '>';
                    993:           END;
1.77      cvs       994: #endif
1.1       cvs       995:        END;
                    996: 
                    997:  Comment\240: BEGIN
                    998:        NoLineBreak;
1.80      cvs       999:        Create '<!--';
1.27      cvs      1000:        NoTranslation;
1.1       cvs      1001:        Create '-->\12' after;
                   1002:        END;
                   1003: 
                   1004:  Comment_line: BEGIN
                   1005:        if not last create '\12' after;
                   1006:        END;
                   1007: 
1.58      cvs      1008:  FRAMESET: BEGIN
                   1009:        Create '<frameset';
                   1010:        Create Attributes;
                   1011:        Create '>\12';
                   1012:         indent +2;
                   1013:         indent -2 after;
                   1014:        Create '</frameset>\12' After;
                   1015:        END;
                   1016: 
                   1017:  Frames: BEGIN
                   1018:        END;
                   1019: 
                   1020:  NOFRAMES: BEGIN
                   1021:        Create '<noframes';
                   1022:        Create Attributes;
                   1023:        Create '>\12';
                   1024:         indent +2;
                   1025:         indent -2 after;
                   1026:        Create '</noframes>\12' After;
                   1027:        END;
                   1028: 
                   1029:  FRAME: BEGIN
                   1030:        Create '<frame';
                   1031:        Remove;
                   1032:        Create Attributes;
                   1033: #ifdef XML
                   1034:        Create ' />\12';
                   1035: #else
                   1036:        Create '>\12';
                   1037: #endif
                   1038:        END;
                   1039: 
                   1040:  IFRAME: BEGIN
                   1041:        Create '<iframe';
                   1042:        Create Attributes;
                   1043:        Create '>\12';
1.80      cvs      1044:        Indent +2;
                   1045:        Indent -2;
1.58      cvs      1046:        Create '</iframe>\12' After;    
                   1047:        END;
                   1048: 
1.1       cvs      1049: ATTRIBUTES
1.18      cvs      1050: 
1.51      cvs      1051:  profile: BEGIN
                   1052:        Create ' profile="';
                   1053:        Create profile;
                   1054:        Create DoubleQuote;
                   1055:        END;
                   1056: 
1.19      cvs      1057:  Langue:
1.87      cvs      1058:        BEGIN
1.20      cvs      1059:        IF not HTML
                   1060:            BEGIN
                   1061:            Create ' lang="';
                   1062:            Create Langue;
                   1063:            Create DoubleQuote;
1.72      cvs      1064: #ifdef XML
                   1065:            Create ' xml:lang="';
                   1066:            Create Langue;
                   1067:            Create DoubleQuote;
                   1068: #endif
1.20      cvs      1069:            END;
1.87      cvs      1070:        IF HTML and RealLang
                   1071:            BEGIN
                   1072:            Create ' lang="';
                   1073:            Create Langue;
                   1074:            Create DoubleQuote;
                   1075: #ifdef XML
                   1076:            Create ' xml:lang="';
                   1077:            Create Langue;
                   1078:            Create DoubleQuote;
                   1079: #endif
                   1080:            END;
                   1081:        END;
1.1       cvs      1082: 
1.51      cvs      1083:  content_type: BEGIN
                   1084:        Create ' type="';
                   1085:        Create content_type;
                   1086:        Create DoubleQuote;
                   1087:        END;
                   1088: 
                   1089:  script_language: BEGIN
                   1090:        Create ' language="';
                   1091:        Create script_language;
                   1092:        Create DoubleQuote;
                   1093:        END;
                   1094: 
                   1095:  script_src: BEGIN
                   1096:        Create ' src="';
                   1097:        Create script_src;
                   1098:        Create DoubleQuote;
                   1099:        END;
                   1100: 
                   1101:  defer: BEGIN
1.65      cvs      1102:        Create ' defer="defer"';
1.51      cvs      1103:        END;
                   1104: 
                   1105:  event: BEGIN
                   1106:        Create ' event="';
                   1107:        Create event;
                   1108:        Create DoubleQuote;
                   1109:        END;
                   1110: 
                   1111:  for_: BEGIN
                   1112:        Create ' for="';
                   1113:        Create for_;
                   1114:        Create DoubleQuote;
                   1115:        END;
                   1116: 
1.1       cvs      1117:  http_equiv: BEGIN
                   1118:        Create ' http-equiv="';
                   1119:        Create http_equiv;
1.12      cvs      1120:        Create DoubleQuote;
1.1       cvs      1121:        END;
                   1122: 
                   1123:  meta_name: BEGIN
                   1124:        Create ' name="';
                   1125:        Create meta_name;
1.12      cvs      1126:        Create DoubleQuote;
1.1       cvs      1127:        END;
                   1128: 
                   1129:  meta_content: BEGIN
1.68      cvs      1130:        { quotes are generated by Amaya when saving the document }
1.67      cvs      1131:        Create ' content=';
1.65      cvs      1132:        Create Translated meta_content;
1.1       cvs      1133:        END;
                   1134: 
1.51      cvs      1135:  scheme: BEGIN
                   1136:        Create ' scheme="';
                   1137:        Create scheme;
                   1138:        Create DoubleQuote;
                   1139:        END;
                   1140: 
                   1141:  charset: BEGIN
                   1142:        Create ' charset="';
                   1143:        Create charset;
                   1144:        Create DoubleQuote;
                   1145:        END;
                   1146: 
1.1       cvs      1147:  REL:  BEGIN
                   1148:        Create ' rel="';
                   1149:        Create REL;
1.12      cvs      1150:        Create DoubleQuote;
1.1       cvs      1151:        END;
                   1152: 
                   1153:  REV:  BEGIN
                   1154:        Create ' rev="';
                   1155:        Create REV;
1.12      cvs      1156:        Create DoubleQuote;
1.1       cvs      1157:        END;
                   1158: 
                   1159:  HREF_ :
                   1160:        BEGIN
1.85      cvs      1161:        If Annotation BEGIN
                   1162:                Remove;
                   1163:                END;
                   1164:        If NOT Annotation BEGIN
                   1165:                Create ' href="';
1.86      cvs      1166:                Create Translated HREF_;
1.85      cvs      1167:                Create DoubleQuote;
                   1168:                END;
1.49      cvs      1169:        END;
                   1170: 
1.51      cvs      1171:  hreflang :
                   1172:        BEGIN
                   1173:        Create ' hreflang="';
                   1174:        Create hreflang;
                   1175:        Create DoubleQuote;
                   1176:        END;
                   1177: 
                   1178:  media :
                   1179:        BEGIN
                   1180:        Create ' media="';
                   1181:        Create media;
                   1182:        Create DoubleQuote;
                   1183:        END;
                   1184: 
                   1185:  target_ :
                   1186:        BEGIN
                   1187:        Create ' target="';
                   1188:        Create target_;
                   1189:        Create DoubleQuote;
                   1190:        END;
                   1191: 
1.49      cvs      1192:  cite:
                   1193:        BEGIN
                   1194:        Create ' cite="';
                   1195:        Create cite;
                   1196:        Create DoubleQuote;
                   1197:        END;
                   1198: 
                   1199:  datetime:
                   1200:        BEGIN
                   1201:        Create ' datetime="';
                   1202:        Create datetime;
1.12      cvs      1203:        Create DoubleQuote;
1.1       cvs      1204:        END;
                   1205: 
                   1206:  background_ :
                   1207:        BEGIN
                   1208:        Create ' background="';
                   1209:        Create background_;
1.12      cvs      1210:        Create DoubleQuote;
1.1       cvs      1211:        END;
                   1212: 
                   1213:  BackgroundColor :
                   1214:        BEGIN
                   1215:        Create ' bgcolor="';
                   1216:        Create BackgroundColor;
1.12      cvs      1217:        Create DoubleQuote;
1.1       cvs      1218:        END;
                   1219: 
                   1220:  TextColor :
                   1221:        BEGIN
                   1222:        Create ' text="';
                   1223:        Create TextColor;
1.12      cvs      1224:        Create DoubleQuote;
1.1       cvs      1225:        END;
                   1226: 
                   1227:  LinkColor :
                   1228:        BEGIN
                   1229:        Create ' link="';
                   1230:        Create LinkColor;
1.12      cvs      1231:        Create DoubleQuote;
1.1       cvs      1232:        END;
                   1233: 
                   1234:  VisitedLinkColor :
                   1235:        BEGIN
                   1236:        Create ' vlink="';
                   1237:        Create VisitedLinkColor;
1.12      cvs      1238:        Create DoubleQuote;
1.1       cvs      1239:        END;
                   1240: 
                   1241:  ActiveLinkColor :
                   1242:        BEGIN
                   1243:        Create ' alink="';
                   1244:        Create ActiveLinkColor;
1.12      cvs      1245:        Create DoubleQuote;
1.1       cvs      1246:        END;
                   1247: 
                   1248:  BaseFontSize:
                   1249:        BEGIN
1.12      cvs      1250:        Create ' size="';
1.1       cvs      1251:        Create BaseFontSize;
1.12      cvs      1252:        Create DoubleQuote;
1.1       cvs      1253:        END;
                   1254: 
1.48      cvs      1255:  BaseFontColor:
                   1256:        BEGIN
                   1257:        Create ' color="';
                   1258:        Create BaseFontColor;
                   1259:        Create DoubleQuote;
                   1260:        END;
                   1261: 
                   1262:  BaseFontFace:
                   1263:        BEGIN
1.70      cvs      1264:        Create ' face="';
1.48      cvs      1265:        Create BaseFontFace;
                   1266:        Create DoubleQuote;
                   1267:        END;
                   1268: 
1.1       cvs      1269:  Font_size :
                   1270:        BEGIN
                   1271:        Create ' size="';
                   1272:        Create Font_size;
1.12      cvs      1273:        Create DoubleQuote;
1.1       cvs      1274:        END;
                   1275: 
                   1276:  color :
                   1277:        BEGIN
                   1278:        Create ' color="';
                   1279:        Create color;
1.48      cvs      1280:        Create DoubleQuote;
                   1281:        END;
                   1282: 
                   1283:  face :
                   1284:        BEGIN
                   1285:        Create ' face="';
                   1286:        Create face;
1.12      cvs      1287:        Create DoubleQuote;
1.1       cvs      1288:        END;
1.6       cvs      1289: 
                   1290:  Clear = Left_:
1.46      cvs      1291:        Create ' clear="left"';
1.6       cvs      1292:  Clear = Right_:
1.46      cvs      1293:        Create ' clear="right"';
1.9       cvs      1294:  Clear = All_:
1.46      cvs      1295:        Create ' clear="all"';
1.9       cvs      1296:  Clear = None:
1.46      cvs      1297:        Create ' clear="none"';
1.1       cvs      1298: 
                   1299:  Align = left_:
1.46      cvs      1300:        Create ' align="left"';
1.1       cvs      1301:  Align = center_:
1.46      cvs      1302:        Create ' align="center"';
1.1       cvs      1303:  Align = right_:
1.46      cvs      1304:        Create ' align="right"';
                   1305: 
                   1306:  TextAlign = left_:
                   1307:        Create ' align="left"';
                   1308:  TextAlign = center_:
                   1309:        Create ' align="center"';
                   1310:  TextAlign = right_:
                   1311:        Create ' align="right"';
                   1312:  TextAlign = justify_:
                   1313:        Create ' align="justify"';
1.1       cvs      1314: 
                   1315:  NoShade:
1.65      cvs      1316:        Create ' noshade="noshade"';
1.1       cvs      1317: 
                   1318:  Size_: BEGIN
                   1319:        Create ' size="';
                   1320:        Create Size_;
1.12      cvs      1321:        Create DoubleQuote;
1.1       cvs      1322:        END;
                   1323: 
                   1324:  Width__: BEGIN
                   1325:        Create ' width="';
                   1326:        Create Width__;
1.12      cvs      1327:        Create DoubleQuote;
1.1       cvs      1328:        END;
                   1329: 
1.51      cvs      1330:  declare:
1.65      cvs      1331:        Create ' declare="declare"';
1.51      cvs      1332: 
1.1       cvs      1333:  codebase: BEGIN
                   1334:        Create ' codebase="';
                   1335:        Create codebase;
1.12      cvs      1336:        Create DoubleQuote;
1.1       cvs      1337:        END;
                   1338: 
                   1339:  code: BEGIN
                   1340:        Create ' code="';
                   1341:        Create code;
1.12      cvs      1342:        Create DoubleQuote;
1.1       cvs      1343:        END;
                   1344: 
1.51      cvs      1345:  object: BEGIN
                   1346:        Create ' object="';
                   1347:        Create object;
                   1348:        Create DoubleQuote;
                   1349:        END;
                   1350: 
1.1       cvs      1351:  applet_name: BEGIN
                   1352:        Create ' name="';
                   1353:        Create applet_name;
1.12      cvs      1354:        Create DoubleQuote;
1.1       cvs      1355:        END;
                   1356: 
                   1357:  Param_name: BEGIN
                   1358:        Create ' name="';
                   1359:        Create Param_name;
1.12      cvs      1360:        Create DoubleQuote;
1.1       cvs      1361:        END;
                   1362: 
                   1363:  Param_value: BEGIN
                   1364:        Create ' value="';
                   1365:        Create Param_value;
1.12      cvs      1366:        Create DoubleQuote;
1.1       cvs      1367:        END;
1.46      cvs      1368: 
1.51      cvs      1369:  valuetype = data_:
                   1370:        Create ' valuetype="data"';
                   1371:  valuetype = ref:
                   1372:        Create ' valuetype="ref"';
                   1373:  valuetype = object_:
                   1374:        Create ' valuetype="object"';
                   1375: 
                   1376:  Param_type: BEGIN
                   1377:        Create ' type="';
                   1378:        Create Param_type;
                   1379:        Create DoubleQuote;
                   1380:        END;
                   1381: 
1.1       cvs      1382:  classid: BEGIN
                   1383:        Create ' classid="';
                   1384:        Create classid;
1.12      cvs      1385:        Create DoubleQuote;
1.1       cvs      1386:        END;
                   1387: 
                   1388:  data: BEGIN
                   1389:        Create ' data="';
                   1390:        Create data;
1.12      cvs      1391:        Create DoubleQuote;
1.1       cvs      1392:        END;
                   1393: 
                   1394:  Object_type: BEGIN
                   1395:        Create ' type="';
                   1396:        Create Object_type;
1.12      cvs      1397:        Create DoubleQuote;
1.1       cvs      1398:        END;
                   1399: 
1.38      cvs      1400:  Link_type: BEGIN
                   1401:        Create ' type="';
                   1402:        Create Link_type;
                   1403:        Create DoubleQuote;
                   1404:        END;
                   1405: 
1.1       cvs      1406:  codetype: BEGIN
                   1407:        Create ' codetype="';
                   1408:        Create codetype;
1.12      cvs      1409:        Create DoubleQuote;
1.1       cvs      1410:        END;
1.46      cvs      1411: 
1.51      cvs      1412:  archive: BEGIN
                   1413:        Create ' archive="';
                   1414:        Create archive;
                   1415:        Create DoubleQuote;
                   1416:        END;
                   1417: 
                   1418:  standby: BEGIN
                   1419:        Create ' standby="';
                   1420:        Create standby;
                   1421:        Create DoubleQuote;
                   1422:        END;
                   1423: 
1.1       cvs      1424:  Title : BEGIN
                   1425:        Create ' title="';
1.65      cvs      1426:        Create Translated Title;
1.12      cvs      1427:        Create DoubleQuote;
1.1       cvs      1428:        END;
                   1429: 
1.51      cvs      1430:  accesskey: BEGIN
                   1431:        Create ' accesskey="';
                   1432:        Create accesskey;
                   1433:        Create DoubleQuote;
                   1434:        END;
                   1435: 
                   1436:  tabindex: BEGIN
                   1437:        Create ' tabindex="';
                   1438:        Create tabindex;
                   1439:        Create DoubleQuote;
                   1440:        END;
1.56      cvs      1441: 
                   1442:  Associated_control: BEGIN
                   1443:        Create ' for="';
                   1444:        Create Associated_control;
                   1445:        Create DoubleQuote;
                   1446:        END;
                   1447: 
                   1448:  Button_type = button:
                   1449:        Create ' type="button"';
                   1450:  Button_type = submit:
                   1451:        Create ' type="submit"';
                   1452:  Button_type = reset:
                   1453:        Create ' type="reset"';
1.51      cvs      1454: 
1.1       cvs      1455:  Class: BEGIN
1.22      cvs      1456:        Create ' class="';
                   1457:        Create Class;
                   1458:        Create DoubleQuote;
1.1       cvs      1459:        END;
                   1460: 
1.46      cvs      1461:  Style\240: BEGIN
1.22      cvs      1462:        IF not Within HEAD
1.1       cvs      1463:            BEGIN
1.68      cvs      1464:            { quotes are generated by Amaya when saving the document }
1.64      cvs      1465:            Create ' style=';
1.1       cvs      1466:            Create Style\240;
                   1467:            END;
                   1468:        END;
1.20      cvs      1469: 
                   1470:  ID:   BEGIN
                   1471:        Create ' id="';
                   1472:        Create ID;
                   1473:        Create DoubleQuote;
                   1474:        END;
1.46      cvs      1475: 
                   1476:  dir = ltr :
                   1477:        Create ' dir="ltr"';
                   1478:  dir = rtl :
                   1479:        Create ' dir="rtl"';
                   1480: 
                   1481:  onclick: BEGIN
                   1482:        Create ' onclick="';
                   1483:        Create onclick;
                   1484:        Create DoubleQuote;
                   1485:        END;
                   1486: 
                   1487:  ondblclick: BEGIN
                   1488:        Create ' ondblclick="';
                   1489:        Create ondblclick;
                   1490:        Create DoubleQuote;
                   1491:        END;
                   1492: 
                   1493:  onmousedown: BEGIN
                   1494:        Create ' onmousedown="';
                   1495:        Create onmousedown;
                   1496:        Create DoubleQuote;
                   1497:        END;
                   1498: 
                   1499:  onmouseup: BEGIN
                   1500:        Create ' onmouseup="';
                   1501:        Create onmouseup;
                   1502:        Create DoubleQuote;
                   1503:        END;
                   1504: 
                   1505:  onmouseover: BEGIN
                   1506:        Create ' onmouseover="';
                   1507:        Create onmouseover;
                   1508:        Create DoubleQuote;
                   1509:        END;
                   1510: 
                   1511:  onmousemove: BEGIN
                   1512:        Create ' onmousemove="';
                   1513:        Create onmousemove;
                   1514:        Create DoubleQuote;
                   1515:        END;
                   1516: 
                   1517:  onmouseout: BEGIN
                   1518:        Create ' onmouseout="';
                   1519:        Create onmouseout;
                   1520:        Create DoubleQuote;
                   1521:        END;
                   1522: 
                   1523:  onkeypress: BEGIN
                   1524:        Create ' onkeypress="';
                   1525:        Create onkeypress;
                   1526:        Create DoubleQuote;
                   1527:        END;
                   1528: 
                   1529:  onkeydown: BEGIN
                   1530:        Create ' onkeydown="';
                   1531:        Create onkeydown;
                   1532:        Create DoubleQuote;
                   1533:        END;
                   1534: 
                   1535:  onkeyup: BEGIN
                   1536:        Create ' onkeyup="';
                   1537:        Create onkeyup;
                   1538:        Create DoubleQuote;
                   1539:        END;
1.1       cvs      1540: 
1.51      cvs      1541:  onload: BEGIN
                   1542:        Create ' onload="';
                   1543:        Create onload;
                   1544:        Create DoubleQuote;
                   1545:        END;
                   1546: 
                   1547:  onunload: BEGIN
                   1548:        Create ' onunload="';
                   1549:        Create onunload;
                   1550:        Create DoubleQuote;
                   1551:        END;
                   1552: 
                   1553:  onfocus: BEGIN
                   1554:        Create ' onfocus="';
                   1555:        Create onfocus;
                   1556:        Create DoubleQuote;
                   1557:        END;
                   1558: 
                   1559:  onblur: BEGIN
                   1560:        Create ' onblur="';
                   1561:        Create onblur;
                   1562:        Create DoubleQuote;
                   1563:        END;
                   1564: 
                   1565:  onsubmit: BEGIN
                   1566:        Create ' onsubmit="';
                   1567:        Create onsubmit;
                   1568:        Create DoubleQuote;
                   1569:        END;
                   1570: 
                   1571:  onreset: BEGIN
                   1572:        Create ' onreset="';
                   1573:        Create onreset;
                   1574:        Create DoubleQuote;
                   1575:        END;
                   1576: 
                   1577:  onselect: BEGIN
                   1578:        Create ' onselect="';
                   1579:        Create onselect;
                   1580:        Create DoubleQuote;
                   1581:        END;
                   1582: 
                   1583:  onchange: BEGIN
                   1584:        Create ' onchange="';
                   1585:        Create onchange;
                   1586:        Create DoubleQuote;
                   1587:        END;
                   1588: 
1.1       cvs      1589:  BulletStyle = disc :
1.46      cvs      1590:        Create ' type="disc"';
1.1       cvs      1591:  BulletStyle = square :
1.46      cvs      1592:        Create ' type="square"';
1.1       cvs      1593:  BulletStyle = circle :
1.46      cvs      1594:        Create ' type="circle"';
1.1       cvs      1595: 
                   1596:  COMPACT:
1.65      cvs      1597:        Create ' compact="compact"';
1.1       cvs      1598: 
                   1599:  NumberStyle = Arabic_ :
1.46      cvs      1600:        Create ' type="1"';
1.1       cvs      1601:  NumberStyle = LowerAlpha :
1.46      cvs      1602:        Create ' type="a"';
1.1       cvs      1603:  NumberStyle = UpperAlpha :
1.46      cvs      1604:        Create ' type="A"';
1.1       cvs      1605:  NumberStyle = LowerRoman :
1.46      cvs      1606:        Create ' type="i"';
1.1       cvs      1607:  NumberStyle = UpperRoman :
1.46      cvs      1608:        Create ' type="I"';
1.1       cvs      1609: 
                   1610:  Start > 1: BEGIN
                   1611:        Create ' start="';
                   1612:        Create Start;
1.12      cvs      1613:        Create DoubleQuote;
1.1       cvs      1614:        END;
                   1615: 
                   1616:  ItemStyle = disc :
1.46      cvs      1617:        Create ' type="disc"';
1.1       cvs      1618:  ItemStyle = square :
1.46      cvs      1619:        Create ' type="square"';
1.1       cvs      1620:  ItemStyle = circle :
1.46      cvs      1621:        Create ' type="circle"';
1.1       cvs      1622:  ItemStyle = Arabic_ :
1.46      cvs      1623:        Create ' type="1"';
1.1       cvs      1624:  ItemStyle = LowerAlpha :
1.46      cvs      1625:        Create ' type="a"';
1.1       cvs      1626:  ItemStyle = UpperAlpha :
1.46      cvs      1627:        Create ' type="A"';
1.1       cvs      1628:  ItemStyle = LowerRoman :
1.46      cvs      1629:        Create ' type="i"';
1.1       cvs      1630:  ItemStyle = UpperRoman :
1.46      cvs      1631:        Create ' type="I"';
1.1       cvs      1632: 
                   1633:  ItemValue: BEGIN
                   1634:        Create ' value="';
                   1635:        Create ItemValue;
1.12      cvs      1636:        Create DoubleQuote;
1.1       cvs      1637:        END;
                   1638: 
                   1639:  Script_URL: BEGIN
                   1640:        Create ' action="';
                   1641:        Create Script_URL;
1.12      cvs      1642:        Create DoubleQuote;
1.1       cvs      1643:        END;
                   1644: 
                   1645:  METHOD=Post_:
1.15      cvs      1646:        Create ' method="post"';
1.1       cvs      1647: 
                   1648:  METHOD=Get_:
1.15      cvs      1649:        Create ' method="get"';
1.1       cvs      1650: 
                   1651:  ENCTYPE: BEGIN
                   1652:        Create ' enctype="';
                   1653:        Create ENCTYPE;
1.12      cvs      1654:        Create DoubleQuote;
1.1       cvs      1655:        END;
                   1656: 
1.51      cvs      1657:  accept_charset: BEGIN
                   1658:        Create ' accept-charset="';
                   1659:        Create accept_charset;
                   1660:        Create DoubleQuote;
                   1661:        END;
                   1662: 
1.1       cvs      1663:  NAME: BEGIN
1.85      cvs      1664:        if Anchor and Annotation BEGIN
                   1665:                Remove;
                   1666:                END;
                   1667:        if NOT Annotation BEGIN
                   1668:                Create ' name="';
                   1669:                Create NAME;
                   1670:                Create DoubleQuote;
                   1671:                 END;
1.72      cvs      1672: #ifdef XML
1.85      cvs      1673:        if Anchor and not ID and NOT Annotation BEGIN
                   1674:                        Create ' id="';
                   1675:                Create NAME;
                   1676:                        Create DoubleQuote;
                   1677:                END;
1.72      cvs      1678: #endif
1.1       cvs      1679:        END;
                   1680: 
                   1681:  Multiple:
1.65      cvs      1682:        Create ' multiple="multiple"';
1.1       cvs      1683: 
1.4       cvs      1684:  MenuSize: BEGIN
1.12      cvs      1685:        Create ' size="';
1.4       cvs      1686:        Create MenuSize;
1.12      cvs      1687:        Create DoubleQuote;
1.4       cvs      1688:        END;
1.5       cvs      1689: 
                   1690:  Selected:
1.65      cvs      1691:        Create ' selected="selected"';
1.4       cvs      1692: 
1.9       cvs      1693:  Value_: BEGIN
1.1       cvs      1694:        Create ' value="';
1.13      cvs      1695:        Create Value_;
1.12      cvs      1696:        Create DoubleQuote;
1.1       cvs      1697:        END;
                   1698: 
                   1699:  Rows: BEGIN
1.12      cvs      1700:        Create ' rows="';
1.1       cvs      1701:        Create Rows;
1.12      cvs      1702:        Create DoubleQuote;
1.1       cvs      1703:        END;
                   1704: 
                   1705:  Columns: BEGIN
1.12      cvs      1706:        Create ' cols="';
1.1       cvs      1707:        Create Columns;
1.12      cvs      1708:        Create DoubleQuote;
1.1       cvs      1709:        END;
                   1710: 
                   1711:  Checked = Yes_:
1.65      cvs      1712:        Create ' checked="checked"';
1.1       cvs      1713: 
1.51      cvs      1714:  disabled:
1.65      cvs      1715:        Create ' disabled="disabled"';
1.51      cvs      1716: 
                   1717:  readonly:
1.65      cvs      1718:        Create ' readonly="readonly"';
1.51      cvs      1719: 
                   1720:  label: BEGIN
                   1721:        Create ' label="';
                   1722:        Create label;
                   1723:        Create DoubleQuote;
                   1724:        END;
                   1725: 
                   1726:  accept: BEGIN
                   1727:        Create ' accept="';
                   1728:        Create accept;
                   1729:        Create DoubleQuote;
                   1730:        END;
1.63      cvs      1731: 
                   1732:  LAlign = Top_:
                   1733:        Create ' align="top"';
                   1734:  LAlign = Bottom_:
                   1735:        Create ' align="bottom"';
                   1736:  LAlign = Left_:
                   1737:        Create ' align="left"';
                   1738:  LAlign = Right_:
                   1739:        Create ' align="right"';
1.51      cvs      1740: 
1.1       cvs      1741:  Area_Size: BEGIN
1.12      cvs      1742:        Create ' size="';
1.1       cvs      1743:        Create Area_Size;
1.12      cvs      1744:        Create DoubleQuote;
1.1       cvs      1745:        END;
                   1746: 
                   1747:  MaxLength: BEGIN
1.12      cvs      1748:        Create ' maxlength="';
1.1       cvs      1749:        Create MaxLength;
1.12      cvs      1750:        Create DoubleQuote;
1.1       cvs      1751:        END;
                   1752: 
                   1753:  SRC:  BEGIN
1.78      cvs      1754:        if not Immediately within Object
                   1755:           BEGIN
                   1756:           Create ' src="';
                   1757:           Create SRC;
                   1758:           Create DoubleQuote;
                   1759:           END;
1.1       cvs      1760:        END;
                   1761: 
                   1762:  ALT:  BEGIN
1.78      cvs      1763:        if not Immediately within Object
                   1764:           BEGIN
                   1765:           Create ' alt="';
                   1766:           Create Translated ALT;
                   1767:           Create DoubleQuote;
                   1768:           END;
1.1       cvs      1769:        END;
                   1770: 
1.51      cvs      1771:  longdesc: BEGIN
                   1772:        Create ' longdesc="';
                   1773:        Create longdesc;
                   1774:        Create DoubleQuote;
                   1775:        END;
                   1776: 
1.1       cvs      1777:  Alignment = Top_:
1.46      cvs      1778:        Create ' align="top"';
1.1       cvs      1779:  Alignment = Middle_:
1.46      cvs      1780:        Create ' align="middle"';
1.1       cvs      1781:  Alignment = Bottom_:
1.46      cvs      1782:        Create ' align="bottom"';
1.1       cvs      1783:  Alignment = Left_:
1.46      cvs      1784:        Create ' align="left"';
1.1       cvs      1785:  Alignment = Right_:
1.46      cvs      1786:        Create ' align="right"';
1.1       cvs      1787: 
                   1788:  Height_: BEGIN
                   1789:        Create ' height="';
                   1790:        Create Height_;
1.12      cvs      1791:        Create DoubleQuote;
1.1       cvs      1792:        END;
                   1793: 
                   1794:  Img_border: BEGIN
                   1795:        Create ' border="';
                   1796:        Create Img_border;
1.12      cvs      1797:        Create DoubleQuote;
1.1       cvs      1798:        END;
                   1799: 
                   1800:  hspace: BEGIN
                   1801:        Create ' hspace="';
                   1802:        Create hspace;
1.12      cvs      1803:        Create DoubleQuote;
1.1       cvs      1804:        END;
                   1805: 
                   1806:  vspace: BEGIN
                   1807:        Create ' vspace="';
                   1808:        Create vspace;
1.12      cvs      1809:        Create DoubleQuote;
1.1       cvs      1810:        END;
                   1811: 
                   1812:  ISMAP:
1.65      cvs      1813:        Create ' ismap="ismap"';
1.1       cvs      1814: 
                   1815:  USEMAP: BEGIN
                   1816:        Create ' usemap="';
                   1817:        Create USEMAP;
1.12      cvs      1818:        Create DoubleQuote;
1.1       cvs      1819:        END;
                   1820: 
                   1821:  nohref:
1.65      cvs      1822:        Create ' nohref="nohref"';
1.1       cvs      1823: 
                   1824:  shape = rectangle:
1.46      cvs      1825:        Create ' shape="rect"';
1.1       cvs      1826:  shape = circle:
1.46      cvs      1827:        Create ' shape="circle"';
1.1       cvs      1828:  shape = polygon:
1.46      cvs      1829:        Create ' shape="poly"';
1.1       cvs      1830: 
                   1831:  coords: BEGIN
                   1832:        Create ' coords="';
                   1833:        Create coords;
1.12      cvs      1834:        Create DoubleQuote;
1.1       cvs      1835:        END;
1.40      cvs      1836: 
                   1837:  mode = inline_math:
1.46      cvs      1838:        Create ' mode="inline"';
1.40      cvs      1839:  mode = display:
1.46      cvs      1840:        Create ' mode="display"';
1.1       cvs      1841: 
1.51      cvs      1842:  summary: BEGIN
                   1843:        Create ' summary="';
1.65      cvs      1844:        Create Translated summary;
1.51      cvs      1845:        Create DoubleQuote;
                   1846:        END;
                   1847: 
                   1848:  frame = void:
                   1849:        Create ' frame="void"';
                   1850:  frame = above:
                   1851:        Create ' frame="above"';
                   1852:  frame = below:
                   1853:        Create ' frame="below"';
                   1854:  frame = hsides:
                   1855:        Create ' frame="hsides"';
                   1856:  frame = lhs:
                   1857:        Create ' frame="lhs"';
                   1858:  frame = rhs:
                   1859:        Create ' frame="rhs"';
                   1860:  frame = vsides:
                   1861:        Create ' frame="vsides"';
                   1862:  frame = box:
                   1863:        Create ' frame="box"';
                   1864:  frame = border:
                   1865:        Create ' frame="border"';
                   1866:  
                   1867:  rules_ = none:
                   1868:        Create ' rules="none"';
                   1869:  rules_ = groups:
                   1870:        Create ' rules="groups"';
                   1871:  rules_ = rows:
                   1872:        Create ' rules="rows"';
                   1873:  rules_ = cols:
                   1874:        Create ' rules="cols"';
                   1875:  rules_ = all:
                   1876:        Create ' rules="all"';
                   1877: 
1.1       cvs      1878:  Border: BEGIN
1.12      cvs      1879:        Create ' border="';
1.1       cvs      1880:        Create Border;
1.12      cvs      1881:        Create DoubleQuote;
1.1       cvs      1882:        END;
                   1883: 
                   1884:  cellspacing: BEGIN
                   1885:        Create ' cellspacing="';
                   1886:        Create cellspacing;
1.12      cvs      1887:        Create DoubleQuote;
1.1       cvs      1888:        END;
                   1889: 
                   1890:  cellpadding: BEGIN
                   1891:        Create ' cellpadding="';
                   1892:        Create cellpadding;
1.12      cvs      1893:        Create DoubleQuote;
1.1       cvs      1894:        END;
                   1895: 
1.51      cvs      1896:  datapagesize: BEGIN
                   1897:        Create ' datapagesize="';
                   1898:        Create datapagesize;
                   1899:        Create DoubleQuote;
                   1900:        END;
                   1901: 
1.1       cvs      1902:  Position = Position_top:
1.46      cvs      1903:         Create ' align="top"';
1.1       cvs      1904:  Position = Position_bottom:
1.46      cvs      1905:         Create ' align="bottom"';
1.51      cvs      1906:  Position = Position_left:
1.46      cvs      1907:         Create ' align="left"';
1.51      cvs      1908:  Position = Position_right:
1.46      cvs      1909:         Create ' align="right"';
1.51      cvs      1910: 
1.1       cvs      1911:  Row_valign = Row_top:
1.46      cvs      1912:         Create ' valign="top"';
1.1       cvs      1913:  Row_valign = Row_middle:
1.46      cvs      1914:         Create ' valign="middle"';
1.1       cvs      1915:  Row_valign = Row_bottom:
1.46      cvs      1916:         Create ' valign="bottom"';
1.51      cvs      1917:  Row_valign = Row_baseline:
                   1918:         Create ' valign="baseline"';
1.1       cvs      1919: 
1.51      cvs      1920:  abbr: BEGIN
1.88    ! cvs      1921:        Create ' abbr="';
1.65      cvs      1922:        Create Translated abbr;
1.51      cvs      1923:        Create DoubleQuote;
                   1924:        END;
                   1925: 
                   1926:  axis: BEGIN
1.88    ! cvs      1927:        Create ' axis="';
1.51      cvs      1928:        Create axis;
                   1929:        Create DoubleQuote;
                   1930:        END;
                   1931: 
                   1932:  headers: BEGIN
1.88    ! cvs      1933:        Create ' headers="';
1.51      cvs      1934:        Create headers;
                   1935:        Create DoubleQuote;
                   1936:        END;
                   1937: 
                   1938:  scope: BEGIN
1.88    ! cvs      1939:        Create ' scope="';
1.51      cvs      1940:        Create scope;
1.69      cvs      1941:        Create DoubleQuote;
                   1942:        END;
                   1943: 
                   1944:  span_: BEGIN
                   1945:        Create ' span="';
                   1946:        Create span_;
1.12      cvs      1947:        Create DoubleQuote;
1.1       cvs      1948:        END;
                   1949: 
1.39      cvs      1950:  rowspan_: BEGIN
1.12      cvs      1951:        Create ' rowspan="';
1.39      cvs      1952:        Create rowspan_;
1.12      cvs      1953:        Create DoubleQuote;
1.1       cvs      1954:        END;
                   1955: 
1.51      cvs      1956:  colspan_: BEGIN
                   1957:        Create ' colspan="';
                   1958:        Create colspan_;
                   1959:        Create DoubleQuote;
                   1960:        END;
                   1961: 
1.1       cvs      1962:  Cell_align = Cell_left:
1.46      cvs      1963:        Create ' align="left"';
1.1       cvs      1964:  Cell_align = Cell_center:
1.46      cvs      1965:        Create ' align="center"';
1.1       cvs      1966:  Cell_align = Cell_right:
1.46      cvs      1967:        Create ' align="right"';
1.51      cvs      1968:  Cell_align = Cell_justify:
                   1969:        Create ' align="justify"';
                   1970:  Cell_align = Cell_char:
                   1971:        Create ' align="char"';
                   1972: 
                   1973:  char: BEGIN
                   1974:        Create ' char="';
                   1975:        Create char;
                   1976:        Create DoubleQuote;
                   1977:        END;
1.1       cvs      1978: 
1.51      cvs      1979:  charoff: BEGIN
                   1980:        Create ' charoff="';
                   1981:        Create charoff;
                   1982:        Create DoubleQuote;
                   1983:        END;
                   1984:  
1.1       cvs      1985:  Cell_valign = Cell_top:
1.46      cvs      1986:        Create ' valign="top"';
1.1       cvs      1987:  Cell_valign = Cell_middle:
1.46      cvs      1988:        Create ' valign="middle"';
1.1       cvs      1989:  Cell_valign = Cell_bottom:
1.46      cvs      1990:        Create ' valign="bottom"';
1.51      cvs      1991:  Cell_valign = Cell_baseline:
                   1992:        Create ' valign="baseline"';
1.1       cvs      1993: 
1.24      cvs      1994:  No_wrap = no_wrap:
1.65      cvs      1995:        Create ' nowrap="nowrap"';
1.58      cvs      1996: 
                   1997:  RowHeight: BEGIN
                   1998:        Create ' rows="';
                   1999:        Create RowHeight;
                   2000:        Create DoubleQuote;
                   2001:        END;
                   2002: 
                   2003:  ColWidth: BEGIN
                   2004:        Create ' cols="';
                   2005:        Create ColWidth;
                   2006:        Create DoubleQuote;
                   2007:        END;
                   2008: 
                   2009:  FrameName: BEGIN
                   2010:        Create ' name="';
                   2011:        Create FrameName;
                   2012:        Create DoubleQuote;
                   2013:        END;
                   2014: 
                   2015:  FrameSrc: BEGIN
                   2016:        Create ' src="';
                   2017:        Create FrameSrc;
                   2018:        Create DoubleQuote;
                   2019:        END;
                   2020: 
                   2021:  frameborder = Border1:
                   2022:        Create ' frameborder="1"';
                   2023:  frameborder = Border0:
                   2024:        Create ' frameborder="0"';
                   2025: 
                   2026:  marginwidth: BEGIN
                   2027:        Create ' marginwidth="';
                   2028:        Create marginwidth;
                   2029:        Create DoubleQuote;
                   2030:        END;
                   2031: 
                   2032:  marginheight: BEGIN
                   2033:        Create ' marginheight="';
                   2034:        Create marginheight;
                   2035:        Create DoubleQuote;
                   2036:        END;
                   2037: 
                   2038:  no_resize: BEGIN
                   2039:        Create ' noresize="noresize"';
                   2040:        END;
                   2041: 
                   2042:  scrolling = Yes_:
                   2043:        Create ' scrolling="yes"';
                   2044:  scrolling = No_:
                   2045:        Create ' scrolling="no"';
                   2046:  scrolling = auto:
                   2047:        Create ' scrolling="auto"';
1.1       cvs      2048: 
                   2049:  Invalid_attribute:
1.77      cvs      2050:        BEGIN
                   2051: #ifndef XML
1.1       cvs      2052:        Create Invalid_attribute;
1.77      cvs      2053: #endif
                   2054:        END;
1.1       cvs      2055: 
                   2056: #include "Text_SGML.inc"
                   2057: 
1.35      cvs      2058: #include "greek.sgml"
                   2059: 
1.1       cvs      2060: GraphTRANSLATE
                   2061:        BEGIN
                   2062:        'c' -> 'circle';
                   2063:        'Q' -> 'circle';
                   2064:        'R' -> 'rect';
                   2065:        'C' -> 'rect';
                   2066:        ' ' -> 'rect';
                   2067:        'P' -> 'rect';
                   2068:        'p' -> 'polygon';
                   2069:        'B' -> 'polygon';
                   2070:        END;
                   2071: 
                   2072: END

Webmaster