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

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

Webmaster