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

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

Webmaster