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

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

Webmaster