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

1.3       cvs         1:                { Author: I. Vatton      1994-1995-1996  }
1.1       cvs         2: 
                      3: TRANSLATION HTML;
                      4: 
1.3       cvs         5: LINELENGTH 78;
1.1       cvs         6: 
                      7: CONST
1.12      cvs         8:    DoubleQuote  = '"';
1.1       cvs         9: 
                     10: RULES
                     11: 
                     12:  HTML : BEGIN
1.37      cvs        13:        Create '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">\12';
1.18      cvs        14:        Create '<html';
                     15:        Create Attributes;
                     16:        Create '>\12';
1.15      cvs        17:        Create '</html>\12' After;
1.1       cvs        18:        END;
                     19: 
                     20:  HEAD: BEGIN
1.18      cvs        21:        Create '<head';
                     22:        Create Attributes;
                     23:        Create '>\12';
1.15      cvs        24:        Create '</head>\12' After;
1.1       cvs        25:        END;
                     26: 
                     27:  Document_URL:
                     28:        BEGIN
                     29:        Remove;
                     30:        END;
                     31: 
                     32:  TITLE:        BEGIN
1.18      cvs        33:        Create '<title';
                     34:        Create Attributes;
                     35:        Create '>\12';
1.15      cvs        36:        Create '</title>\12' After;
1.1       cvs        37:        END;
                     38: 
                     39:  ISINDEX: BEGIN
1.15      cvs        40:        Create '<isindex';
1.1       cvs        41:        IF Prompt
                     42:           BEGIN
                     43:           Create ' prompt="';
                     44:           Create Prompt;
1.12      cvs        45:           Create DoubleQuote;
1.1       cvs        46:           END;
                     47:        Create Attributes;
                     48:        Remove;
                     49:        Create '>\12';
                     50:        END;
                     51: 
                     52:  BASE: BEGIN
1.15      cvs        53:        Create '<base ';
1.1       cvs        54:        Create Attributes;
                     55:        Remove;
                     56:        Create '>\12';
                     57:        END;
                     58: 
                     59:  Styles:BEGIN
1.15      cvs        60:        Create '<style';
1.1       cvs        61:        IF Notation
                     62:           BEGIN
                     63:           Create ' type=';
                     64:           Create Notation;
                     65:           END;
                     66:        Create Attributes;
1.47      cvs        67:        Create '>';
1.45      cvs        68:        NoTranslation;
1.15      cvs        69:        Create '</style>\12' After;
1.1       cvs        70:        END;
                     71: 
                     72:  SCRIPT: BEGIN
1.15      cvs        73:        Create '<script';
1.1       cvs        74:        Create Attributes;
                     75:        Create '>\12' After;
                     76:        END;
                     77: 
                     78:  META: BEGIN
1.15      cvs        79:        Create '<meta';
1.1       cvs        80:        Remove;
                     81:        Create Attributes;
                     82:        Create '>\12' After;
                     83:        END;
                     84: 
                     85:  LINK: BEGIN
1.15      cvs        86:        Create '<link';
1.1       cvs        87:        Remove;
                     88:        Create Attributes;
                     89:        Create '>\12' After;
                     90:        END;
                     91: 
                     92:  BODY: BEGIN
1.15      cvs        93:        Create '<body';
1.1       cvs        94:        Create Attributes;
                     95:        Create '>\12';
1.15      cvs        96:        Create '</body>\12' After;
1.1       cvs        97:        END;
                     98: 
                     99:  H1:   BEGIN
1.28      cvs       100:        if not within Preformatted Create '\12';
1.15      cvs       101:        Create '<h1';
1.1       cvs       102:        Create Attributes;
                    103:        Create '>';
1.15      cvs       104:        Create '</h1>' After;
1.28      cvs       105:        if not within Preformatted Create '\12' After;
1.1       cvs       106:        END;
                    107: 
                    108:  H2:   BEGIN
1.28      cvs       109:        if not within Preformatted Create '\12';
1.15      cvs       110:        Create '<h2';
1.1       cvs       111:        Create Attributes;
                    112:        Create '>';
1.15      cvs       113:        Create '</h2>' After;
1.28      cvs       114:        if not within Preformatted Create '\12' After;
1.1       cvs       115:        END;
                    116: 
                    117:  H3:   BEGIN
1.28      cvs       118:        if not within Preformatted Create '\12';
1.15      cvs       119:        Create '<h3';
1.1       cvs       120:        Create Attributes;
                    121:        Create '>';
1.15      cvs       122:        Create '</h3>' After;
1.28      cvs       123:        if not within Preformatted Create '\12' After;
1.1       cvs       124:        END;
                    125: 
                    126:  H4:   BEGIN
1.28      cvs       127:        if not within Preformatted Create '\12';
1.15      cvs       128:        Create '<h4';
1.1       cvs       129:        Create Attributes;
                    130:        Create '>';
1.15      cvs       131:        Create '</h4>' After;
1.28      cvs       132:        if not within Preformatted Create '\12' After;
1.1       cvs       133:        END;
                    134: 
                    135:  H5:   BEGIN
1.28      cvs       136:        if not within Preformatted Create '\12';
1.15      cvs       137:        Create '<h5';
1.1       cvs       138:        Create Attributes;
                    139:        Create '>';
1.15      cvs       140:        Create '</h5>' After;
                    141:        if not within Preformatted Create '\12' After;
1.1       cvs       142:        END;
                    143: 
                    144:  H6:   BEGIN
1.28      cvs       145:        if not within Preformatted Create '\12';
1.15      cvs       146:        Create '<h6';
1.1       cvs       147:        Create Attributes;
                    148:        Create '>';
1.15      cvs       149:        Create '</h6>' After;
                    150:        if not within Preformatted Create '\12' After;
1.1       cvs       151:        END;
                    152: 
                    153:  BaseFont:
                    154:        BEGIN
1.15      cvs       155:        Create '<basefont';
1.1       cvs       156:        Remove;
                    157:        Create Attributes;
                    158:        Create '>\12';
                    159:        END;
                    160: 
1.6       cvs       161:  BR:   BEGIN
1.15      cvs       162:        Create '<br';
1.6       cvs       163:        Create Attributes;
1.13      cvs       164:        Create '>\12';
1.6       cvs       165:        Remove;
                    166:        END;
1.1       cvs       167:  Italic_text:
                    168:        BEGIN
1.15      cvs       169:        Create '<i';
1.1       cvs       170:        Create Attributes;
                    171:        Create '>';
1.15      cvs       172:        Create '</i>' After;
1.1       cvs       173:        END;
                    174:  Bold_text:
                    175:        BEGIN
1.15      cvs       176:        Create '<b';
1.1       cvs       177:        Create Attributes;
                    178:        Create '>';
1.15      cvs       179:        Create '</b>' After;
1.1       cvs       180:        END;
                    181:  Teletype_text:
                    182:        BEGIN
1.15      cvs       183:        Create '<tt';
1.1       cvs       184:        Create Attributes;
                    185:        Create '>';
1.15      cvs       186:        Create '</tt>' After;
1.1       cvs       187:        END;
1.8       cvs       188:  Underlined_text:
                    189:        BEGIN
1.15      cvs       190:        Create '<u';
1.8       cvs       191:        Create Attributes;
                    192:        Create '>';
1.15      cvs       193:        Create '</u>' After;
1.8       cvs       194:        END;
1.1       cvs       195:  Struck_text:
                    196:        BEGIN
1.15      cvs       197:        Create '<strike';
1.1       cvs       198:        Create Attributes;
                    199:        Create '>';
1.15      cvs       200:        Create '</strike>' After;
1.1       cvs       201:        END;
                    202:  Big_text:
                    203:        BEGIN
1.15      cvs       204:        Create '<big';
1.1       cvs       205:        Create Attributes;
                    206:        Create '>';
1.15      cvs       207:        Create '</big>' After;
1.1       cvs       208:        END;
                    209:  Small_text:
                    210:        BEGIN
1.15      cvs       211:        Create '<small';
1.1       cvs       212:        Create Attributes;
                    213:        Create '>';
1.15      cvs       214:        Create '</small>' After;
1.1       cvs       215:        END;
                    216:  Subscript:
                    217:        BEGIN
1.15      cvs       218:        Create '<sub';
1.1       cvs       219:        Create Attributes;
                    220:        Create '>';
1.15      cvs       221:        Create '</sub>' After;
1.1       cvs       222:        END;
                    223:  Superscript:
                    224:        BEGIN
1.15      cvs       225:        Create '<sup';
1.1       cvs       226:        Create Attributes;
                    227:        Create '>';
1.15      cvs       228:        Create '</sup>' After;
1.1       cvs       229:        END;
                    230: 
                    231:  Emphasis:
                    232:        BEGIN
1.15      cvs       233:        Create '<em';
1.1       cvs       234:        Create Attributes;
                    235:        Create '>';
1.15      cvs       236:        Create '</em>' After;
1.1       cvs       237:        END;
                    238:  Strong:
                    239:        BEGIN
1.15      cvs       240:        Create '<strong';
1.1       cvs       241:        Create Attributes;
                    242:        Create '>';
1.15      cvs       243:        Create '</strong>' After;
1.1       cvs       244:        END;
                    245:  Def:
                    246:        BEGIN
1.15      cvs       247:        Create '<dfn';
1.1       cvs       248:        Create Attributes;
                    249:        Create '>';
1.15      cvs       250:        Create '</dfn>' After;
1.1       cvs       251:        END;
                    252:  Code:
                    253:        BEGIN
1.15      cvs       254:        Create '<code';
1.1       cvs       255:        Create Attributes;
                    256:        Create '>';
1.15      cvs       257:        Create '</code>' After;
1.1       cvs       258:        END;
                    259:  Sample:
                    260:        BEGIN
1.15      cvs       261:        Create '<samp';
1.1       cvs       262:        Create Attributes;
                    263:        Create '>';
1.15      cvs       264:        Create '</samp>' After;
1.1       cvs       265:        END;
                    266:  Keyboard:
                    267:        BEGIN
1.15      cvs       268:        Create '<kbd';
1.1       cvs       269:        Create Attributes;
                    270:        Create '>';
1.15      cvs       271:        Create '</kbd>' After;
1.1       cvs       272:        END;
                    273:  Variable:
                    274:        BEGIN
1.15      cvs       275:        Create '<var';
1.1       cvs       276:        Create Attributes;
                    277:        Create '>';
1.15      cvs       278:        Create '</var>' After;
1.1       cvs       279:        END;
                    280:  Cite:
                    281:        BEGIN
1.15      cvs       282:        Create '<cite';
1.1       cvs       283:        Create Attributes;
                    284:        Create '>';
1.15      cvs       285:        Create '</cite>' After;
1.1       cvs       286:        END;
1.48      cvs       287:  ABBR:
                    288:        BEGIN
                    289:        Create '<abbr';
                    290:        Create Attributes;
                    291:        Create '>';
                    292:        Create '</abbr>' After;
                    293:        END;
                    294:  ACRONYM:
                    295:        BEGIN
                    296:        Create '<acronym';
                    297:        Create Attributes;
                    298:        Create '>';
                    299:        Create '</acronym>' After;
                    300:        END;
1.1       cvs       301: 
                    302:  Font_: BEGIN
1.15      cvs       303:        Create '<font';
1.1       cvs       304:        Create Attributes;
                    305:        Create '>';
1.15      cvs       306:        Create '</font>' After;
1.1       cvs       307:        END;
                    308: 
                    309:  Applet: BEGIN
1.15      cvs       310:        Create '<applet';
1.1       cvs       311:        Create Attributes;
                    312:        Create '>\12';
1.15      cvs       313:        Create '</applet>\12' After;    
1.1       cvs       314:        END;
                    315: 
                    316:  Parameter: BEGIN
1.15      cvs       317:        Create '<param';
1.1       cvs       318:        Create Attributes;
                    319:        Remove;
                    320:        Create '>\12';
                    321:        END;
                    322: 
                    323:  Object: BEGIN
1.15      cvs       324:        Create '<object';
1.1       cvs       325:        Create Attributes;
                    326:        Create '>\12';
1.15      cvs       327:        Create '</object>\12' After;    
1.1       cvs       328:        END;
1.20      cvs       329: 
1.49      cvs       330:  INS:  BEGIN
                    331:        Create '<ins';
                    332:        Create Attributes;
                    333:        Create '>';
                    334:        Create '</span>' After;
                    335:        END;
                    336: 
                    337:  DEL:  BEGIN
                    338:        Create '<del';
                    339:        Create Attributes;
                    340:        Create '>';
                    341:        Create '</span>' After;
                    342:        END;
                    343: 
1.20      cvs       344:  Span: BEGIN
                    345:        Create '<span';
                    346:        Create Attributes;
                    347:        Create '>';
                    348:        Create '</span>' After;
                    349:        END;
1.29      cvs       350: 
1.48      cvs       351:  Quotation: BEGIN
                    352:        Create '<q';
                    353:        Create Attributes;
                    354:        Create '>';
                    355:        Create '</q>' After;
                    356:        END;
                    357: 
                    358:  BDO: BEGIN
                    359:        Create '<bdo';
                    360:        Create Attributes;
                    361:        Create '>';
                    362:        Create '</bdo>' After;
                    363:        END;
                    364: 
                    365:  IFRAME: BEGIN
                    366:        Create '<iframe';
                    367:        Create Attributes;
                    368:        Create '>\12';
                    369:        Create '</iframe>\12' After;    
                    370:        END;
                    371: 
1.29      cvs       372: #ifdef MATHML
1.33      cvs       373:  Math: BEGIN
                    374:        Create '<math';
1.29      cvs       375:        Create Attributes;
                    376:        Create '>\12';
1.31      cvs       377:         indent +2;
                    378:         indent -2 after;
1.33      cvs       379:        Create '</math>\12' After;      
                    380:        END;
                    381:  MathDisp: BEGIN
1.40      cvs       382:        Create '<math';
1.33      cvs       383:        Create Attributes;
                    384:        Create '>\12';
                    385:         indent +2;
                    386:         indent -2 after;
1.40      cvs       387:        Create '</math>\12' After;      
1.29      cvs       388:        END;
1.30      cvs       389:  MathML:
                    390:        Use MathMLT;    
1.41      cvs       391: #endif
                    392: #ifdef GRAPHML
                    393:  XMLGraphics: BEGIN
                    394:        Create '<xmlgraphics';
                    395:        Create Attributes;
                    396:        Create '>\12';
                    397:         indent +2;
                    398:         indent -2 after;
                    399:        Create '</xmlgraphics>\12' After;       
                    400:        END;
                    401:  GraphML:
                    402:        Use GraphMLT;   
1.29      cvs       403: #endif
                    404: 
1.1       cvs       405:  Paragraph: BEGIN
1.16      cvs       406:        Create '<p';
                    407:        Create Attributes;
                    408:        Create '>\12';
                    409:        Create '</p>' After;
                    410:        Create '\12' After;
                    411:        END;
                    412: 
                    413:  Pseudo_paragraph: BEGIN
                    414:        Create '\12';
1.1       cvs       415:        Create '\12' After;
                    416:        END;
                    417: 
                    418:  TEXT_UNIT: BEGIN
                    419:        IF Within Text_Area
                    420:                Remove;
                    421:        IF Within Text_Input
                    422:                Remove;
                    423:        END;
                    424: 
                    425:  Definition_List: BEGIN
1.15      cvs       426:        Create '<dl';
1.1       cvs       427:        Create Attributes;
                    428:        Create '>\12';
1.15      cvs       429:        Create '</dl>\12' After;
1.1       cvs       430:        END;
                    431: 
                    432:  Term: BEGIN
1.15      cvs       433:        Create '<dt';
1.1       cvs       434:        Create Attributes;
                    435:        Create '>';
1.15      cvs       436:        Create '</dt>\12' After;
1.1       cvs       437:        END;
                    438: 
                    439:  Definition: BEGIN
1.15      cvs       440:        Create '<dd';
1.1       cvs       441:        Create Attributes;
                    442:        Create '>';
1.15      cvs       443:        Create '</dd>\12' After;
1.1       cvs       444:        END;
                    445: 
                    446:  Unnumbered_List: BEGIN
1.15      cvs       447:        Create '<ul';
1.1       cvs       448:        Create Attributes;
                    449:        Create '>\12';
1.15      cvs       450:        Create '</ul>\12' After;
1.1       cvs       451:        END;
                    452: 
                    453:  Numbered_List:        BEGIN
1.15      cvs       454:        Create '<ol';
1.1       cvs       455:        Create Attributes;
                    456:        Create '>\12';
1.15      cvs       457:        Create '</ol>\12' After;
1.1       cvs       458:        END;
                    459: 
                    460:  Address: BEGIN
1.15      cvs       461:        Create '<address';
1.1       cvs       462:        Create Attributes;
                    463:        Create '>\12';
1.15      cvs       464:        Create '</address>\12' After;
1.1       cvs       465:        END;
                    466: 
                    467:  Menu: BEGIN
1.15      cvs       468:        Create '<menu';
1.1       cvs       469:        Create Attributes;
                    470:        Create '>\12';
1.15      cvs       471:        Create '</menu>\12' After;
1.1       cvs       472:        END;
                    473: 
                    474:  Directory: BEGIN
1.15      cvs       475:        Create '<dir';
1.1       cvs       476:        Create Attributes;
                    477:        Create '>\12';
1.15      cvs       478:        Create '</dir>\12' After;
1.1       cvs       479:        END;
                    480: 
                    481:  List_Item: BEGIN
1.15      cvs       482:        Create '<li';
1.1       cvs       483:        Create Attributes;
                    484:        Create '>';
                    485:        END;
                    486: 
                    487:  Preformatted: BEGIN
                    488:        NoLineBreak;
1.15      cvs       489:        Create '<pre';
1.1       cvs       490:        Create Attributes;
                    491:        Create '>';
1.15      cvs       492:        Create '</pre>\12' After;
1.1       cvs       493:        END;
                    494: 
                    495:  Horizontal_Rule: BEGIN
1.15      cvs       496:        Create '<hr';
1.1       cvs       497:        Create Attributes;
                    498:        Remove;
1.15      cvs       499:        Create '>';
1.17      cvs       500:        if not within Preformatted Create '\12';
1.1       cvs       501:        END;
                    502: 
                    503:  Form: BEGIN
1.15      cvs       504:        Create '<form';
1.1       cvs       505:        Create Attributes;
                    506:        Create '>\12';
1.15      cvs       507:        Create '</form>\12' After;
1.1       cvs       508:        END;
                    509: 
                    510:  Option_Menu: BEGIN
1.15      cvs       511:        Create '\12<select';
1.1       cvs       512:        Create Attributes;
1.5       cvs       513:        Create '>';
1.15      cvs       514:        Create '\12</select>\12' After;
1.1       cvs       515:        END;
                    516: 
                    517:  Option: BEGIN
1.15      cvs       518:        Create '\12<option';
1.5       cvs       519:        Create Attributes;
                    520:        Create '>';
1.1       cvs       521:        END;
                    522: 
                    523:  Text_Area: BEGIN
1.15      cvs       524:        Create '<textarea';
1.1       cvs       525:        Create Attributes;
                    526:        Create '>';
1.15      cvs       527:        Create '</textarea>';
1.1       cvs       528:        END;
                    529: 
                    530:  Checkbox_Input: BEGIN
1.15      cvs       531:        Create '<input type=checkbox';
1.1       cvs       532:        Create Attributes;
                    533:        Create '>';
                    534:        Remove;
                    535:        END;
                    536: 
                    537:  Radio_Input: BEGIN
1.15      cvs       538:        Create '<input type=radio';
1.1       cvs       539:        Create Attributes;
                    540:        Create '>';
                    541:        Remove;
                    542:        END;
                    543: 
                    544:  Text_Input: BEGIN
1.15      cvs       545:        Create '<input type=text';
1.1       cvs       546:        Create Attributes;
                    547:        Create '>';
                    548:        Remove;
                    549:        END;
                    550: 
                    551:  Hidden_Input: BEGIN
1.15      cvs       552:        Create '<input type=hidden';
1.1       cvs       553:        Create Attributes;
                    554:        Create '>';
                    555:        Remove;
                    556:        END;
                    557: 
                    558:  Password_Input: BEGIN
1.15      cvs       559:        Create '<input type=password';
1.1       cvs       560:        Create Attributes;
                    561:        Create '>';
                    562:        Remove;
                    563:        END;
                    564: 
                    565:  File_Input: BEGIN
1.15      cvs       566:        Create '<input type=file';
1.1       cvs       567:        Create Attributes;
                    568:        Create '>';
                    569:        Remove;
                    570:        END;
                    571: 
                    572:  Reset_Input: BEGIN
1.15      cvs       573:        Create '\12<input type=reset';
1.1       cvs       574:        Create Attributes;
                    575:        Create '>';
                    576:        Remove;
                    577:        END;
                    578: 
                    579:  Submit_Input: BEGIN
1.15      cvs       580:        Create '\12<input type=submit';
1.1       cvs       581:        Create Attributes;
                    582:        Create '>';
                    583:        Remove;
                    584:        END;
                    585: 
                    586:  Block_Quote: BEGIN
1.15      cvs       587:        Create '<blockquote';
1.1       cvs       588:        Create Attributes;
                    589:        Create '>\12';
1.15      cvs       590:        Create '</blockquote>\12' After;
1.1       cvs       591:        END;
                    592: 
                    593:  PICTURE_UNIT: BEGIN
1.10      cvs       594:        if Immediately within Object
                    595:                Remove;
                    596:        if NOT Immediately within Object BEGIN
1.15      cvs       597:                Create '<img';
1.10      cvs       598:                Create Attributes;
                    599:                Create '>' After;
                    600:                END;
                    601:        if NOT within Paragraph AND NOT Immediately within Object
                    602:                Create '\12' After;
1.1       cvs       603:        END;
                    604: 
                    605:  Anchor: BEGIN
1.15      cvs       606:        Create '<a';
1.1       cvs       607:        Create Attributes;
                    608:        Create '>';
1.15      cvs       609:        Create '</a>' After;
1.1       cvs       610:        END;
                    611: 
                    612:  MAP:
                    613:        BEGIN
1.15      cvs       614:        Create '<map';
1.1       cvs       615:        Create Attributes;
                    616:        Create '>\12';
1.15      cvs       617:        Create '</map>\12' after;
1.1       cvs       618:        END;
                    619: 
                    620:  AREA:
                    621:        BEGIN
1.15      cvs       622:        Create '<area';
1.1       cvs       623:        Create Attributes;
                    624:        Remove;
                    625:        Create '>\12';
                    626:        END;
                    627: 
                    628: { ---- Tables ---- }
                    629: 
                    630:  Table:
                    631:        BEGIN
1.15      cvs       632:        Create '\12<table';
1.1       cvs       633:        Create Attributes;
                    634:        Create '>\12';
1.15      cvs       635:        Create '</table>\12' after;
1.1       cvs       636:        END;
                    637: 
                    638:  CAPTION:
                    639:        BEGIN
1.15      cvs       640:        Create '<caption';
1.1       cvs       641:        Create Attributes;
                    642:        Create '>';
1.15      cvs       643:        Create '</caption>\12' after;
1.1       cvs       644:        END;
                    645: 
                    646:  Table_head:
                    647:        Remove;
                    648: 
                    649:  thead:
                    650:        BEGIN
1.15      cvs       651:        Create '<thead';
1.1       cvs       652:        Create Attributes;
                    653:        Create '>\12';
1.15      cvs       654:        Create '</thead>\12' after;
1.1       cvs       655:        END;
                    656: 
                    657:  tfoot:
                    658:        BEGIN
1.15      cvs       659:        Create '<tfoot';
1.1       cvs       660:        Create Attributes;
                    661:        Create '>\12';
1.15      cvs       662:        Create '</tfoot>\12' after;
1.1       cvs       663:        END;
                    664:  tbody:
                    665:        BEGIN
1.15      cvs       666:        Create '<tbody';
1.1       cvs       667:        Create Attributes;
                    668:        Create '>\12';
1.15      cvs       669:        Create '</tbody>\12' after;
1.1       cvs       670:        END;
                    671: 
                    672:  Table_body:
                    673:        Get tfoot;
                    674: 
                    675:  Table_row:
                    676:        BEGIN
1.15      cvs       677:        Create '<tr';
1.1       cvs       678:        Create Attributes;
                    679:        Create '>\12';
1.15      cvs       680:        Create '</tr>\12' after;
1.1       cvs       681:        END;
                    682: 
                    683:  Data_cell:
                    684:        BEGIN
1.15      cvs       685:        Create '<td';
1.1       cvs       686:        Create Attributes;
                    687:        Create '>';
1.25      cvs       688:        Create '</td>\12' after;
1.1       cvs       689:        END;
                    690: 
                    691:  Heading_cell:
                    692:        BEGIN
1.15      cvs       693:        Create '<th';
1.1       cvs       694:        Create Attributes;
                    695:        Create '>';
1.25      cvs       696:        Create '</th>\12' after;
1.1       cvs       697:        END;
                    698: 
                    699:  Table_foot:
                    700:        BEGIN
                    701:        Remove;
                    702:        END;
                    703: 
                    704:  Division: BEGIN
1.15      cvs       705:        Create '\12<div';
1.1       cvs       706:        Create Attributes;
                    707:        Create '>\12';
1.15      cvs       708:        Create '</div>\12' After;
1.1       cvs       709:        END;
                    710: 
                    711:  Center: BEGIN
1.15      cvs       712:        Create '\12<center';
1.1       cvs       713:        Create Attributes;
                    714:        Create '>\12';
1.15      cvs       715:        Create '</center>\12' After;
1.1       cvs       716:        END;
                    717: 
1.50    ! cvs       718:  NOSCRIPT: BEGIN
        !           719:        Create '\12<noscript';
        !           720:        Create Attributes;
        !           721:        Create '>\12';
        !           722:        Create '</noscript>\12' After;
        !           723:        END;
        !           724: 
1.8       cvs       725:  Invalid_element:
                    726:        BEGIN
                    727:        if Error_type = BadPosition
                    728:           Remove;
                    729:        if not Error_type = BadPosition
                    730:            BEGIN
                    731:           NoTranslation;
                    732:           Create Content;
                    733:           Remove;
                    734:           Create Attributes;
                    735:           Create '>';
                    736:           END;
1.1       cvs       737:        END;
                    738: 
                    739:  Comment\240: BEGIN
                    740:        NoLineBreak;
                    741:        Create '<!--';
1.27      cvs       742:        NoTranslation;
1.1       cvs       743:        Create '-->\12' after;
                    744:        END;
                    745: 
                    746:  Comment_line: BEGIN
                    747:        if not last create '\12' after;
                    748:        END;
                    749: 
                    750: ATTRIBUTES
1.18      cvs       751: 
1.19      cvs       752:  Langue:
1.20      cvs       753:        IF not HTML
                    754:            BEGIN
                    755:            Create ' lang="';
                    756:            Create Langue;
                    757:            Create DoubleQuote;
                    758:            END;
1.1       cvs       759: 
                    760:  http_equiv: BEGIN
                    761:        Create ' http-equiv="';
                    762:        Create http_equiv;
1.12      cvs       763:        Create DoubleQuote;
1.1       cvs       764:        END;
                    765: 
                    766:  meta_name: BEGIN
                    767:        Create ' name="';
                    768:        Create meta_name;
1.12      cvs       769:        Create DoubleQuote;
1.1       cvs       770:        END;
                    771: 
                    772:  meta_content: BEGIN
                    773:        Create ' content="';
                    774:        Create meta_content;
1.12      cvs       775:        Create DoubleQuote;
1.1       cvs       776:        END;
                    777: 
                    778:  REL:  BEGIN
                    779:        Create ' rel="';
                    780:        Create REL;
1.12      cvs       781:        Create DoubleQuote;
1.1       cvs       782:        END;
                    783: 
                    784:  REV:  BEGIN
                    785:        Create ' rev="';
                    786:        Create REV;
1.12      cvs       787:        Create DoubleQuote;
1.1       cvs       788:        END;
                    789: 
                    790:  HREF_ :
                    791:        BEGIN
                    792:        NoTranslation;
                    793:        Create ' href="';
                    794:        Create HREF_;
1.49      cvs       795:        Create DoubleQuote;
                    796:        END;
                    797: 
                    798:  cite:
                    799:        BEGIN
                    800:        NoTranslation;
                    801:        Create ' cite="';
                    802:        Create cite;
                    803:        Create DoubleQuote;
                    804:        END;
                    805: 
                    806:  datetime:
                    807:        BEGIN
                    808:        Create ' datetime="';
                    809:        Create datetime;
1.12      cvs       810:        Create DoubleQuote;
1.1       cvs       811:        END;
                    812: 
                    813:  background_ :
                    814:        BEGIN
                    815:        Create ' background="';
                    816:        Create background_;
1.12      cvs       817:        Create DoubleQuote;
1.1       cvs       818:        END;
                    819: 
                    820:  BackgroundColor :
                    821:        BEGIN
                    822:        Create ' bgcolor="';
                    823:        Create BackgroundColor;
1.12      cvs       824:        Create DoubleQuote;
1.1       cvs       825:        END;
                    826: 
                    827:  TextColor :
                    828:        BEGIN
                    829:        Create ' text="';
                    830:        Create TextColor;
1.12      cvs       831:        Create DoubleQuote;
1.1       cvs       832:        END;
                    833: 
                    834:  LinkColor :
                    835:        BEGIN
                    836:        Create ' link="';
                    837:        Create LinkColor;
1.12      cvs       838:        Create DoubleQuote;
1.1       cvs       839:        END;
                    840: 
                    841:  VisitedLinkColor :
                    842:        BEGIN
                    843:        Create ' vlink="';
                    844:        Create VisitedLinkColor;
1.12      cvs       845:        Create DoubleQuote;
1.1       cvs       846:        END;
                    847: 
                    848:  ActiveLinkColor :
                    849:        BEGIN
                    850:        Create ' alink="';
                    851:        Create ActiveLinkColor;
1.12      cvs       852:        Create DoubleQuote;
1.1       cvs       853:        END;
                    854: 
                    855:  BaseFontSize:
                    856:        BEGIN
1.12      cvs       857:        Create ' size="';
1.1       cvs       858:        Create BaseFontSize;
1.12      cvs       859:        Create DoubleQuote;
1.1       cvs       860:        END;
                    861: 
1.48      cvs       862:  BaseFontColor:
                    863:        BEGIN
                    864:        Create ' color="';
                    865:        Create BaseFontColor;
                    866:        Create DoubleQuote;
                    867:        END;
                    868: 
                    869:  BaseFontFace:
                    870:        BEGIN
                    871:        Create ' facee="';
                    872:        Create BaseFontFace;
                    873:        Create DoubleQuote;
                    874:        END;
                    875: 
1.1       cvs       876:  Font_size :
                    877:        BEGIN
                    878:        Create ' size="';
                    879:        Create Font_size;
1.12      cvs       880:        Create DoubleQuote;
1.1       cvs       881:        END;
                    882: 
                    883:  color :
                    884:        BEGIN
                    885:        Create ' color="';
                    886:        Create color;
1.48      cvs       887:        Create DoubleQuote;
                    888:        END;
                    889: 
                    890:  face :
                    891:        BEGIN
                    892:        Create ' face="';
                    893:        Create face;
1.12      cvs       894:        Create DoubleQuote;
1.1       cvs       895:        END;
1.6       cvs       896: 
                    897:  Clear = Left_:
1.46      cvs       898:        Create ' clear="left"';
1.6       cvs       899:  Clear = Right_:
1.46      cvs       900:        Create ' clear="right"';
1.9       cvs       901:  Clear = All_:
1.46      cvs       902:        Create ' clear="all"';
1.9       cvs       903:  Clear = None:
1.46      cvs       904:        Create ' clear="none"';
1.1       cvs       905: 
                    906:  Align = left_:
1.46      cvs       907:        Create ' align="left"';
1.1       cvs       908:  Align = center_:
1.46      cvs       909:        Create ' align="center"';
1.1       cvs       910:  Align = right_:
1.46      cvs       911:        Create ' align="right"';
                    912: 
                    913:  TextAlign = left_:
                    914:        Create ' align="left"';
                    915:  TextAlign = center_:
                    916:        Create ' align="center"';
                    917:  TextAlign = right_:
                    918:        Create ' align="right"';
                    919:  TextAlign = justify_:
                    920:        Create ' align="justify"';
1.1       cvs       921: 
                    922:  NoShade:
                    923:        Create ' noshade';
                    924: 
                    925:  Size_: BEGIN
                    926:        Create ' size="';
                    927:        Create Size_;
1.12      cvs       928:        Create DoubleQuote;
1.1       cvs       929:        END;
                    930: 
                    931:  Width__: BEGIN
                    932:        Create ' width="';
                    933:        Create Width__;
1.12      cvs       934:        Create DoubleQuote;
1.1       cvs       935:        END;
                    936: 
                    937:  codebase: BEGIN
                    938:        NoTranslation;
                    939:        Create ' codebase="';
                    940:        Create codebase;
1.12      cvs       941:        Create DoubleQuote;
1.1       cvs       942:        END;
                    943: 
                    944:  code: BEGIN
                    945:        Create ' code="';
                    946:        Create code;
1.12      cvs       947:        Create DoubleQuote;
1.1       cvs       948:        END;
                    949: 
                    950:  applet_name: BEGIN
                    951:        Create ' name="';
                    952:        Create applet_name;
1.12      cvs       953:        Create DoubleQuote;
1.1       cvs       954:        END;
                    955: 
                    956:  Param_name: BEGIN
                    957:        Create ' name="';
                    958:        Create Param_name;
1.12      cvs       959:        Create DoubleQuote;
1.1       cvs       960:        END;
                    961: 
                    962:  Param_value: BEGIN
                    963:        Create ' value="';
                    964:        Create Param_value;
1.12      cvs       965:        Create DoubleQuote;
1.1       cvs       966:        END;
1.46      cvs       967: 
1.1       cvs       968:  classid: BEGIN
                    969:        Create ' classid="';
                    970:        Create classid;
1.12      cvs       971:        Create DoubleQuote;
1.1       cvs       972:        END;
                    973: 
                    974:  data: BEGIN
                    975:        Create ' data="';
                    976:        Create data;
1.12      cvs       977:        Create DoubleQuote;
1.1       cvs       978:        END;
                    979: 
                    980:  Object_type: BEGIN
                    981:        Create ' type="';
                    982:        Create Object_type;
1.12      cvs       983:        Create DoubleQuote;
1.1       cvs       984:        END;
                    985: 
1.38      cvs       986:  Link_type: BEGIN
                    987:        Create ' type="';
                    988:        Create Link_type;
                    989:        Create DoubleQuote;
                    990:        END;
                    991: 
1.1       cvs       992:  codetype: BEGIN
                    993:        Create ' codetype="';
                    994:        Create codetype;
1.12      cvs       995:        Create DoubleQuote;
1.1       cvs       996:        END;
1.46      cvs       997: 
1.1       cvs       998:  Title : BEGIN
                    999:        NoTranslation;
                   1000:        Create ' title="';
                   1001:        Create Title;
1.12      cvs      1002:        Create DoubleQuote;
1.1       cvs      1003:        END;
                   1004: 
                   1005:  Class: BEGIN
1.22      cvs      1006:        Create ' class="';
                   1007:        Create Class;
                   1008:        Create DoubleQuote;
1.1       cvs      1009:        END;
                   1010: 
1.46      cvs      1011:  Style\240: BEGIN
1.22      cvs      1012:        IF not Within HEAD
1.1       cvs      1013:            BEGIN
1.21      cvs      1014:            Create ' style="';
1.1       cvs      1015:            Create Style\240;
1.12      cvs      1016:            Create DoubleQuote;
1.1       cvs      1017:            END;
                   1018:        END;
1.20      cvs      1019: 
                   1020:  ID:   BEGIN
                   1021:        Create ' id="';
                   1022:        Create ID;
                   1023:        Create DoubleQuote;
                   1024:        END;
1.46      cvs      1025: 
                   1026:  dir = ltr :
                   1027:        Create ' dir="ltr"';
                   1028:  dir = rtl :
                   1029:        Create ' dir="rtl"';
                   1030: 
                   1031:  onclick: BEGIN
                   1032:        Create ' onclick="';
                   1033:        Create onclick;
                   1034:        Create DoubleQuote;
                   1035:        END;
                   1036: 
                   1037:  ondblclick: BEGIN
                   1038:        Create ' ondblclick="';
                   1039:        Create ondblclick;
                   1040:        Create DoubleQuote;
                   1041:        END;
                   1042: 
                   1043:  onmousedown: BEGIN
                   1044:        Create ' onmousedown="';
                   1045:        Create onmousedown;
                   1046:        Create DoubleQuote;
                   1047:        END;
                   1048: 
                   1049:  onmouseup: BEGIN
                   1050:        Create ' onmouseup="';
                   1051:        Create onmouseup;
                   1052:        Create DoubleQuote;
                   1053:        END;
                   1054: 
                   1055:  onmouseover: BEGIN
                   1056:        Create ' onmouseover="';
                   1057:        Create onmouseover;
                   1058:        Create DoubleQuote;
                   1059:        END;
                   1060: 
                   1061:  onmousemove: BEGIN
                   1062:        Create ' onmousemove="';
                   1063:        Create onmousemove;
                   1064:        Create DoubleQuote;
                   1065:        END;
                   1066: 
                   1067:  onmouseout: BEGIN
                   1068:        Create ' onmouseout="';
                   1069:        Create onmouseout;
                   1070:        Create DoubleQuote;
                   1071:        END;
                   1072: 
                   1073:  onkeypress: BEGIN
                   1074:        Create ' onkeypress="';
                   1075:        Create onkeypress;
                   1076:        Create DoubleQuote;
                   1077:        END;
                   1078: 
                   1079:  onkeydown: BEGIN
                   1080:        Create ' onkeydown="';
                   1081:        Create onkeydown;
                   1082:        Create DoubleQuote;
                   1083:        END;
                   1084: 
                   1085:  onkeyup: BEGIN
                   1086:        Create ' onkeyup="';
                   1087:        Create onkeyup;
                   1088:        Create DoubleQuote;
                   1089:        END;
1.1       cvs      1090: 
                   1091:  BulletStyle = disc :
1.46      cvs      1092:        Create ' type="disc"';
1.1       cvs      1093:  BulletStyle = square :
1.46      cvs      1094:        Create ' type="square"';
1.1       cvs      1095:  BulletStyle = circle :
1.46      cvs      1096:        Create ' type="circle"';
1.1       cvs      1097: 
                   1098:  COMPACT:
                   1099:        Create ' compact';
                   1100: 
                   1101:  NumberStyle = Arabic_ :
1.46      cvs      1102:        Create ' type="1"';
1.1       cvs      1103:  NumberStyle = LowerAlpha :
1.46      cvs      1104:        Create ' type="a"';
1.1       cvs      1105:  NumberStyle = UpperAlpha :
1.46      cvs      1106:        Create ' type="A"';
1.1       cvs      1107:  NumberStyle = LowerRoman :
1.46      cvs      1108:        Create ' type="i"';
1.1       cvs      1109:  NumberStyle = UpperRoman :
1.46      cvs      1110:        Create ' type="I"';
1.1       cvs      1111: 
                   1112:  Start > 1: BEGIN
                   1113:        Create ' start="';
                   1114:        Create Start;
1.12      cvs      1115:        Create DoubleQuote;
1.1       cvs      1116:        END;
                   1117: 
                   1118:  ItemStyle = disc :
1.46      cvs      1119:        Create ' type="disc"';
1.1       cvs      1120:  ItemStyle = square :
1.46      cvs      1121:        Create ' type="square"';
1.1       cvs      1122:  ItemStyle = circle :
1.46      cvs      1123:        Create ' type="circle"';
1.1       cvs      1124:  ItemStyle = Arabic_ :
1.46      cvs      1125:        Create ' type="1"';
1.1       cvs      1126:  ItemStyle = LowerAlpha :
1.46      cvs      1127:        Create ' type="a"';
1.1       cvs      1128:  ItemStyle = UpperAlpha :
1.46      cvs      1129:        Create ' type="A"';
1.1       cvs      1130:  ItemStyle = LowerRoman :
1.46      cvs      1131:        Create ' type="i"';
1.1       cvs      1132:  ItemStyle = UpperRoman :
1.46      cvs      1133:        Create ' type="I"';
1.1       cvs      1134: 
                   1135:  ItemValue: BEGIN
                   1136:        Create ' value="';
                   1137:        Create ItemValue;
1.12      cvs      1138:        Create DoubleQuote;
1.1       cvs      1139:        END;
                   1140: 
                   1141:  Script_URL: BEGIN
                   1142:        Create ' action="';
                   1143:        Create Script_URL;
1.12      cvs      1144:        Create DoubleQuote;
1.1       cvs      1145:        END;
                   1146: 
                   1147:  METHOD=Post_:
1.15      cvs      1148:        Create ' method="post"';
1.1       cvs      1149: 
                   1150:  METHOD=Get_:
1.15      cvs      1151:        Create ' method="get"';
1.1       cvs      1152: 
                   1153:  ENCTYPE: BEGIN
                   1154:        Create ' enctype="';
                   1155:        Create ENCTYPE;
1.12      cvs      1156:        Create DoubleQuote;
1.1       cvs      1157:        END;
                   1158: 
                   1159:  NAME: BEGIN
                   1160:        NoTranslation;
                   1161:        Create ' name="';
                   1162:        Create NAME;
1.12      cvs      1163:        Create DoubleQuote;
1.1       cvs      1164:        END;
                   1165: 
                   1166:  Multiple:
                   1167:        Create ' multiple';
                   1168: 
1.4       cvs      1169:  MenuSize: BEGIN
1.12      cvs      1170:        Create ' size="';
1.4       cvs      1171:        Create MenuSize;
1.12      cvs      1172:        Create DoubleQuote;
1.4       cvs      1173:        END;
1.5       cvs      1174: 
                   1175:  Selected:
                   1176:        Create ' selected';
1.4       cvs      1177: 
1.9       cvs      1178:  Value_: BEGIN
1.1       cvs      1179:        Create ' value="';
1.13      cvs      1180:        Create Value_;
1.12      cvs      1181:        Create DoubleQuote;
1.1       cvs      1182:        END;
                   1183: 
                   1184:  Rows: BEGIN
1.12      cvs      1185:        Create ' rows="';
1.1       cvs      1186:        Create Rows;
1.12      cvs      1187:        Create DoubleQuote;
1.1       cvs      1188:        END;
                   1189: 
                   1190:  Columns: BEGIN
1.12      cvs      1191:        Create ' cols="';
1.1       cvs      1192:        Create Columns;
1.12      cvs      1193:        Create DoubleQuote;
1.1       cvs      1194:        END;
                   1195: 
                   1196:  Checked = Yes_:
                   1197:        Create ' checked';
                   1198: 
                   1199:  Area_Size: BEGIN
1.12      cvs      1200:        Create ' size="';
1.1       cvs      1201:        Create Area_Size;
1.12      cvs      1202:        Create DoubleQuote;
1.1       cvs      1203:        END;
                   1204: 
                   1205:  MaxLength: BEGIN
1.12      cvs      1206:        Create ' maxlength="';
1.1       cvs      1207:        Create MaxLength;
1.12      cvs      1208:        Create DoubleQuote;
1.1       cvs      1209:        END;
                   1210: 
                   1211:  SRC:  BEGIN
                   1212:        Create ' src="';
                   1213:        Create SRC;
1.12      cvs      1214:        Create DoubleQuote;
1.1       cvs      1215:        END;
                   1216: 
                   1217:  ALT:  BEGIN
                   1218:        Create ' alt="';
                   1219:        Create ALT;
1.12      cvs      1220:        Create DoubleQuote;
1.1       cvs      1221:        END;
                   1222: 
                   1223:  Alignment = Top_:
1.46      cvs      1224:        Create ' align="top"';
1.1       cvs      1225:  Alignment = Middle_:
1.46      cvs      1226:        Create ' align="middle"';
1.1       cvs      1227:  Alignment = Bottom_:
1.46      cvs      1228:        Create ' align="bottom"';
1.1       cvs      1229:  Alignment = Left_:
1.46      cvs      1230:        Create ' align="left"';
1.1       cvs      1231:  Alignment = Right_:
1.46      cvs      1232:        Create ' align="right"';
1.1       cvs      1233: 
                   1234:  Height_: BEGIN
                   1235:        Create ' height="';
                   1236:        Create Height_;
1.12      cvs      1237:        Create DoubleQuote;
1.1       cvs      1238:        END;
                   1239: 
                   1240:  Img_border: BEGIN
                   1241:        Create ' border="';
                   1242:        Create Img_border;
1.12      cvs      1243:        Create DoubleQuote;
1.1       cvs      1244:        END;
                   1245: 
                   1246:  hspace: BEGIN
                   1247:        Create ' hspace="';
                   1248:        Create hspace;
1.12      cvs      1249:        Create DoubleQuote;
1.1       cvs      1250:        END;
                   1251: 
                   1252:  vspace: BEGIN
                   1253:        Create ' vspace="';
                   1254:        Create vspace;
1.12      cvs      1255:        Create DoubleQuote;
1.1       cvs      1256:        END;
                   1257: 
                   1258:  ISMAP:
                   1259:        Create ' ismap';
                   1260: 
                   1261:  USEMAP: BEGIN
                   1262:        NoTranslation;
                   1263:        Create ' usemap="';
                   1264:        Create USEMAP;
1.12      cvs      1265:        Create DoubleQuote;
1.1       cvs      1266:        END;
                   1267: 
                   1268:  nohref:
                   1269:        Create ' nohref';
                   1270: 
                   1271:  shape = rectangle:
1.46      cvs      1272:        Create ' shape="rect"';
1.1       cvs      1273:  shape = circle:
1.46      cvs      1274:        Create ' shape="circle"';
1.1       cvs      1275:  shape = polygon:
1.46      cvs      1276:        Create ' shape="poly"';
1.1       cvs      1277: 
                   1278:  coords: BEGIN
                   1279:        Create ' coords="';
                   1280:        Create coords;
1.12      cvs      1281:        Create DoubleQuote;
1.1       cvs      1282:        END;
1.40      cvs      1283: 
                   1284: #ifdef MATHML
                   1285:  mode = inline_math:
1.46      cvs      1286:        Create ' mode="inline"';
1.40      cvs      1287:  mode = display:
1.46      cvs      1288:        Create ' mode="display"';
1.40      cvs      1289: #endif
1.1       cvs      1290: 
                   1291:  Border: BEGIN
1.12      cvs      1292:        Create ' border="';
1.1       cvs      1293:        Create Border;
1.12      cvs      1294:        Create DoubleQuote;
1.1       cvs      1295:        END;
                   1296: 
                   1297:  cellspacing: BEGIN
                   1298:        Create ' cellspacing="';
                   1299:        Create cellspacing;
1.12      cvs      1300:        Create DoubleQuote;
1.1       cvs      1301:        END;
                   1302: 
                   1303:  cellpadding: BEGIN
                   1304:        Create ' cellpadding="';
                   1305:        Create cellpadding;
1.12      cvs      1306:        Create DoubleQuote;
1.1       cvs      1307:        END;
                   1308: 
                   1309:  Position = Position_top:
1.46      cvs      1310:         Create ' align="top"';
1.1       cvs      1311:  Position = Position_bottom:
1.46      cvs      1312:         Create ' align="bottom"';
1.1       cvs      1313: 
                   1314:  Row_align = Row_left:
1.46      cvs      1315:         Create ' align="left"';
1.1       cvs      1316:  Row_align = Row_center:
1.46      cvs      1317:         Create ' align="center"';
1.1       cvs      1318:  Row_align = Row_right:
1.46      cvs      1319:         Create ' align="right"';
1.1       cvs      1320:  Row_valign = Row_top:
1.46      cvs      1321:         Create ' valign="top"';
1.1       cvs      1322:  Row_valign = Row_middle:
1.46      cvs      1323:         Create ' valign="middle"';
1.1       cvs      1324:  Row_valign = Row_bottom:
1.46      cvs      1325:         Create ' valign="bottom"';
1.1       cvs      1326: 
1.39      cvs      1327:  colspan_: BEGIN
1.12      cvs      1328:        Create ' colspan="';
1.39      cvs      1329:        Create colspan_;
1.12      cvs      1330:        Create DoubleQuote;
1.1       cvs      1331:        END;
                   1332: 
1.39      cvs      1333:  rowspan_: BEGIN
1.12      cvs      1334:        Create ' rowspan="';
1.39      cvs      1335:        Create rowspan_;
1.12      cvs      1336:        Create DoubleQuote;
1.1       cvs      1337:        END;
                   1338: 
                   1339:  Cell_align = Cell_left:
1.46      cvs      1340:        Create ' align="left"';
1.1       cvs      1341:  Cell_align = Cell_center:
1.46      cvs      1342:        Create ' align="center"';
1.1       cvs      1343:  Cell_align = Cell_right:
1.46      cvs      1344:        Create ' align="right"';
1.1       cvs      1345: 
                   1346:  Cell_valign = Cell_top:
1.46      cvs      1347:        Create ' valign="top"';
1.1       cvs      1348:  Cell_valign = Cell_middle:
1.46      cvs      1349:        Create ' valign="middle"';
1.1       cvs      1350:  Cell_valign = Cell_bottom:
1.46      cvs      1351:        Create ' valign="bottom"';
1.1       cvs      1352: 
1.24      cvs      1353:  No_wrap = no_wrap:
1.1       cvs      1354:        Create ' nowrap';
                   1355: 
                   1356:  Invalid_attribute:
                   1357:        Create Invalid_attribute;
                   1358: 
                   1359: #include "Text_SGML.inc"
                   1360: 
1.35      cvs      1361: #include "greek.sgml"
                   1362: 
1.1       cvs      1363: GraphTRANSLATE
                   1364:        BEGIN
                   1365:        'c' -> 'circle';
                   1366:        'Q' -> 'circle';
                   1367:        'R' -> 'rect';
                   1368:        'C' -> 'rect';
                   1369:        ' ' -> 'rect';
                   1370:        'P' -> 'rect';
                   1371:        'p' -> 'polygon';
                   1372:        'B' -> 'polygon';
                   1373:        END;
                   1374: 
                   1375: END

Webmaster