Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/GAP/pkg/gapdoc/doc/   (Algebra von RWTH Aachen Version 4.15.1©)  Datei vom 21.1.2024 mit Größe 43 kB image not shown  

Quelle  manual.six   Sprache: unbekannt

 
#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "GAPDoc",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5" 
     ], 
  [ "Copyright", "0.0-1", [ 0, 0, 1 ], 23, 2, "copyright", 
      "X81488B807F2A1CF1" ], 
  [ "Table of Contents", "0.0-2", [ 0, 0, 2 ], 34, 3, "table of contents", 
      "X8537FEB07AF2BEC8" ], 
  [ "\033[1X\033[33X\033[0;-2YIntroduction and Example\033[133X\033[101X", 
      "1", [ 1, 0, 0 ], 1, 5, "introduction and example", "X7D4EE663818DA109" 
     ], 
  [ "\033[1X\033[33X\033[0;-2YXML\033[133X\033[101X", "1.1", [ 1, 1, 0 ], 28, 
      5, "xml", "X8590236E858F7E93" ], 
  [ "\033[1X\033[33X\033[0;-2YA complete example\033[133X\033[101X", "1.2", 
      [ 1, 2, 0 ], 48, 6, "a complete example", "X7B47AFA881BFC9DC" ], 
  [ "\033[1X\033[33X\033[0;-2YSome questions\033[133X\033[101X", "1.3", 
      [ 1, 3, 0 ], 290, 9, "some questions", "X79A97B867F45E5C7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YHow To Type a \033[5XGAPDoc\033[105X\033[101X\\
027\033[1X\027 Document\033[133X\033[101X", "2", [ 2, 0, 0 ], 1, 10, 
      "how to type a gapdoc document", "X7890CF967F3E2FED" ], 
  [ "\033[1X\033[33X\033[0;-2YGeneral XML Syntax\033[133X\033[101X", "2.1", 
      [ 2, 1, 0 ], 21, 10, "general xml syntax", "X7B3A544986A1A9EA" ], 
  [ "\033[1X\033[33X\033[0;-2YHead of XML Document\033[133X\033[101X", 
      "2.1-1", [ 2, 1, 1 ], 28, 10, "head of xml document", 
      "X84E8D39687638CF0" ], 
  [ "\033[1X\033[33X\033[0;-2YComments\033[133X\033[101X", "2.1-2", 
      [ 2, 1, 2 ], 45, 10, "comments", "X780C79EB85C32138" ], 
  [ "\033[1X\033[33X\033[0;-2YProcessing Instructions\033[133X\033[101X", 
      "2.1-3", [ 2, 1, 3 ], 52, 11, "processing instructions", 
      "X82DBCCAD8358BB63" ], 
  [ "\033[1X\033[33X\033[0;-2YNames in XML and Whitespace\033[133X\033[101X", 
      "2.1-4", [ 2, 1, 4 ], 66, 11, "names in xml and whitespace", 
      "X7A0FB16C7FEC0B53" ], 
  [ "\033[1X\033[33X\033[0;-2YElements\033[133X\033[101X", "2.1-5", 
      [ 2, 1, 5 ], 81, 11, "elements", "X79B130FC7906FB4C" ], 
  [ "\033[1X\033[33X\033[0;-2YStart Tags\033[133X\033[101X", "2.1-6", 
      [ 2, 1, 6 ], 90, 11, "start tags", "X7DD1DCB783588BD5" ], 
  [ "\033[1X\033[33X\033[0;-2YEnd Tags\033[133X\033[101X", "2.1-7", 
      [ 2, 1, 7 ], 108, 11, "end tags", "X7E5A567E83005B62" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCombined Tags for Empty Elements\033[133X\033[101\
X", "2.1-8", [ 2, 1, 8 ], 114, 11, "combined tags for empty elements", 
      "X843A02A88514D919" ], 
  [ "\033[1X\033[33X\033[0;-2YEntities\033[133X\033[101X", "2.1-9", 
      [ 2, 1, 9 ], 121, 12, "entities", "X78FB56C77B1F391A" ], 
  [ "\033[1X\033[33X\033[0;-2YSpecial Characters in XML\033[133X\033[101X", 
      "2.1-10", [ 2, 1, 10 ], 142, 12, "special characters in xml", 
      "X84A95A19801EDE76" ], 
  [ "\033[1X\033[33X\033[0;-2YRules for Attribute Values\033[133X\033[101X", 
      "2.1-11", [ 2, 1, 11 ], 154, 12, "rules for attribute values", 
      "X7F49E7AD785AED22" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10XCDATA\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "2.1-12", [ 2, 1, 12 ], 162, 12, "cdata", 
      "X82E77E707A062908" ], 
  [ "\033[1X\033[33X\033[0;-2YEncoding of an XML Document\033[133X\033[101X", 
      "2.1-13", [ 2, 1, 13 ], 178, 12, "encoding of an xml document", 
      "X8709BD337DA09ED5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YWell Formed and Valid XML Documents\033[133X\033[\
101X", "2.1-14", [ 2, 1, 14 ], 186, 13, "well formed and valid xml documents",
      "X8561F07A81CABDD6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YEntering \033[5XGAPDoc\033[105X\033[101X\027\033[\
1X\027 Documents\033[133X\033[101X", "2.2", [ 2, 2, 0 ], 208, 13, 
      "entering gapdoc documents", "X7BDE59B17CF1D5D2" ], 
  [ "\033[1X\033[33X\033[0;-2YOther special characters\033[133X\033[101X", 
      "2.2-1", [ 2, 2, 1 ], 213, 13, "other special characters", 
      "X79171E047B069F94" ], 
  [ "\033[1X\033[33X\033[0;-2YMathematical Formulae\033[133X\033[101X", 
      "2.2-2", [ 2, 2, 2 ], 239, 13, "mathematical formulae", 
      "X7EAE0C5A835F126F" ], 
  [ "\033[1X\033[33X\033[0;-2YMore Entities\033[133X\033[101X", "2.2-3", 
      [ 2, 2, 3 ], 256, 14, "more entities", "X7BDFF6D37FBED400" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Document Type Definition\033[133X\033[101X",
      "3", [ 3, 0, 0 ], 1, 15, "the document type definition", 
      "X7859CFF180D52D49" ], 
  [ "\033[1X\033[33X\033[0;-2YWhat is a DTD?\033[133X\033[101X", "3.1", 
      [ 3, 1, 0 ], 17, 15, "what is a dtd?", "X7B76F6F786521F6B" ], 
  [ "\033[1X\033[33X\033[0;-2YOverall Document Structure\033[133X\033[101X", 
      "3.2", [ 3, 2, 0 ], 45, 15, "overall document structure", 
      "X7DB0F9E57879CC76" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Book>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.2-1", [ 3, 2, 1 ], 51, 16, "<book>", 
      "X7C7258A57B831934" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<TitlePage>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-2", [ 3, 2, 2 ], 95, 16, "<titlepage>", 
      "X842B421A7FBCDD2C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Title>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.2-3", [ 3, 2, 3 ], 112, 16, "<title>", 
      "X7BCC8E6F79021294" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Subtitle>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-4", [ 3, 2, 4 ], 167, 17, "<subtitle>", 
      "X82E82AF48217CC14" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Version>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-5", [ 3, 2, 5 ], 176, 17, "<version>", 
      "X876962807DCC52B3" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<TitleComment>\033[110X\033[101X\027\033[\
1X\027\033[133X\033[101X", "3.2-6", [ 3, 2, 6 ], 188, 18, "<titlecomment>", 
      "X87E7CD5B79230B90" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Author>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-7", [ 3, 2, 7 ], 200, 18, "<author>", 
      "X8731459C7E4C56DA" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Date>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.2-8", [ 3, 2, 8 ], 213, 18, "<date>", 
      "X8264A69D7DCDD773" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Address>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-9", [ 3, 2, 9 ], 223, 18, "<address>", 
      "X7EEF65A07A094F65" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Abstract>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-10", [ 3, 2, 10 ], 240, 18, "<abstract>", 
      "X833110FE79628313" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Copyright>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-11", [ 3, 2, 11 ], 249, 18, "<copyright>", 
      "X84BBD8307E08E62F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Acknowledgements>\033[110X\033[101X\027\\
033[1X\027\033[133X\033[101X", "3.2-12", [ 3, 2, 12 ], 259, 19, 
      "<acknowledgements>", "X8143972D7C17838E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Colophon>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-13", [ 3, 2, 13 ], 268, 19, "<colophon>", 
      "X7C09A3398059D18C" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<TableOfContents>\033[110X\033[101X\027\\
033[1X\027\033[133X\033[101X", "3.2-14", [ 3, 2, 14 ], 277, 19, 
      "<tableofcontents>", "X7E97263A83DC26E9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Bibliography>\033[110X\033[101X\027\033[\
1X\027\033[133X\033[101X", "3.2-15", [ 3, 2, 15 ], 295, 19, "<bibliography>", 
      "X84F3DF21786A8751" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<TheIndex>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.2-16", [ 3, 2, 16 ], 326, 20, "<theindex>", 
      "X7C53615A8477F1E5" ], 
  [ "\033[1X\033[33X\033[0;-2YSectioning Elements\033[133X\033[101X", "3.3", 
      [ 3, 3, 0 ], 339, 20, "sectioning elements", "X80E2AD7481DD69D9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Body>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.3-1", [ 3, 3, 1 ], 361, 20, "<body>", 
      "X7B38415687510D0A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Chapter>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.3-2", [ 3, 3, 2 ], 385, 20, "<chapter>", 
      "X7A86B2BA7D688B6B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Heading>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.3-3", [ 3, 3, 3 ], 406, 21, "<heading>", 
      "X79825E1C821D0B79" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Appendix>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.3-4", [ 3, 3, 4 ], 421, 21, "<appendix>", 
      "X7C701B2779767556" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Section>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.3-5", [ 3, 3, 5 ], 436, 21, "<section>", 
      "X844DC2B47FB37339" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Subsection>\033[110X\033[101X\027\033[1X\
\027\033[133X\033[101X", "3.3-6", [ 3, 3, 6 ], 458, 21, "<subsection>", 
      "X803ACA187E292969" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YManSection\342\200\223a special kind of subsectio\
n\033[133X\033[101X", "3.4", [ 3, 4, 0 ], 479, 22, 
      "mansectiona\200\223a special kind of subsection", "X877B8B7C7EDD09E9" ]
    , 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<ManSection>\033[110X\033[101X\027\033[1X\
\027\033[133X\033[101X", "3.4-1", [ 3, 4, 1 ], 486, 22, "<mansection>", 
      "X8375D9CC8672A1D5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Func>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-2", [ 3, 4, 2 ], 530, 23, "<func>", 
      "X7C41A7B5845205C4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Oper>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-3", [ 3, 4, 3 ], 571, 23, "<oper>", 
      "X7A15825E818A81CD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Constr>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.4-4", [ 3, 4, 4 ], 592, 23, "<constr>", 
      "X7FBFD7A3786C7CAB" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Meth>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-5", [ 3, 4, 5 ], 613, 24, "<meth>", 
      "X81196E2B7F286A01" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Filt>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-6", [ 3, 4, 6 ], 634, 24, "<filt>", 
      "X7D8D2C38828D5854" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Prop>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-7", [ 3, 4, 7 ], 653, 24, "<prop>", 
      "X7D6400A67C30B752" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Attr>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-8", [ 3, 4, 8 ], 668, 25, "<attr>", 
      "X78CEEC5986987A97" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Var>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-9", [ 3, 4, 9 ], 683, 25, "<var>", 
      "X7C3AACBE7BC6AABF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Fam>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.4-10", [ 3, 4, 10 ], 697, 25, "<fam>", 
      "X85EE992E7FED2FE6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<InfoClass>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.4-11", [ 3, 4, 11 ], 711, 25, "<infoclass>", 
      "X78F0D4D1811E5BAE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YCross Referencing and Citations\033[133X\033[101X\
", "3.5", [ 3, 5, 0 ], 725, 26, "cross referencing and citations", 
      "X78595FB585569617" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Ref>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-1", [ 3, 5, 1 ], 740, 26, "<ref>", 
      "X8656F2338007406E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Label>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-2", [ 3, 5, 2 ], 803, 27, "<label>", 
      "X7C85CA5484344DB5" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Cite>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-3", [ 3, 5, 3 ], 817, 27, "<cite>", 
      "X851DE9D279D8FB04" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Index>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-4", [ 3, 5, 4 ], 832, 27, "<index>", 
      "X811042BA78843777" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<URL>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-5", [ 3, 5, 5 ], 851, 28, "<url>", 
      "X81B3E46F839E1C5B" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Email>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.5-6", [ 3, 5, 6 ], 872, 28, "<email>", 
      "X8310C4F084CD9DB9" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Homepage>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.5-7", [ 3, 5, 7 ], 885, 28, "<homepage>", 
      "X7D5CC4267D04D7E7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YStructural Elements like Lists\033[133X\033[101X"
        , "3.6", [ 3, 6, 0 ], 894, 28, "structural elements like lists", 
      "X840099DF83823686" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<List>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.6-1", [ 3, 6, 1 ], 903, 28, "<list>", 
      "X785183F67DA402A0" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Mark>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.6-2", [ 3, 6, 2 ], 926, 29, "<mark>", 
      "X7B1545A9797442DC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Item>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.6-3", [ 3, 6, 3 ], 936, 29, "<item>", 
      "X86C204987AB4B13D" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Enum>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.6-4", [ 3, 6, 4 ], 946, 29, "<enum>", 
      "X78A52B00846562DE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Table>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.6-5", [ 3, 6, 5 ], 960, 29, "<table>", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[1X\033[33X\033[0;-2YTypes of Text\033[133X\033[101X", "3.7", 
      [ 3, 7, 0 ], 996, 30, "types of text", "X7CA1E1327AFBA578" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Emph>\033[110X\033[101X\027\033[1X\027 a\
nd \033[10X<E>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.7-1", 
      [ 3, 7, 1 ], 1008, 30, "<emph> and <e>", "X7B15C428861749FD" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Quoted>\033[110X\033[101X\027\033[1X\\
027 and \033[10X<Q>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "3.7-2", [ 3, 7, 2 ], 1019, 30, "<quoted> and <q>", "X80028C2483C9467E" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Keyword>\033[110X\033[101X\027\033[1X\\
027 and \033[10X<K>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "3.7-3", [ 3, 7, 3 ], 1030, 30, "<keyword> and <k>", 
      "X867BB95E7DC87014" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Arg>\033[110X\033[101X\027\033[1X\027 an\
d \033[10X<A>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.7-4", 
      [ 3, 7, 4 ], 1042, 31, "<arg> and <a>", "X86FD4CCA7F98351F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Code>\033[110X\033[101X\027\033[1X\027 a\
nd \033[10X<C>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.7-5", 
      [ 3, 7, 5 ], 1055, 31, "<code> and <c>", "X8400998B7B3A4379" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<File>\033[110X\033[101X\027\033[1X\027 a\
nd \033[10X<F>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.7-6", 
      [ 3, 7, 6 ], 1068, 31, "<file> and <f>", "X875AF9B4812C5249" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Button>\033[110X\033[101X\027\033[1X\\
027 and \033[10X<B>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "3.7-7", [ 3, 7, 7 ], 1079, 31, "<button> and <b>", "X7929BA7D78A977FF" 
     ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Package>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.7-8", [ 3, 7, 8 ], 1091, 31, "<package>", 
      "X7F4FFA877B775188" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Listing>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.7-9", [ 3, 7, 9 ], 1102, 32, "<listing>", 
      "X7F531B157D656836" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Log>\033[110X\033[101X\027\033[1X\027 an\
d \033[10X<Example>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "3.7-10", [ 3, 7, 10 ], 1124, 32, "<log> and <example>", 
      "X810DEA1E83A57CFE" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Verb>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.7-11", [ 3, 7, 11 ], 1143, 32, "<verb>", 
      "X7F8C4D018346B2CF" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YElements for Mathematical Formulae\033[133X\033[1\
01X", "3.8", [ 3, 8, 0 ], 1160, 32, "elements for mathematical formulae", 
      "X8145F6B37C04AA0A" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Math>\033[110X\033[101X\027\033[1X\027 a\
nd \033[10X<Display>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", 
      "3.8-1", [ 3, 8, 1 ], 1163, 32, "<math> and <display>", 
      "X7AA02845868AA533" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<M>\033[110X\033[101X\027\033[1X\027\033[\
133X\033[101X", "3.8-2", [ 3, 8, 2 ], 1206, 33, "<m>", "X7ABF42328467E966" ], 
  [ "\033[1X\033[33X\033[0;-2YEverything else\033[133X\033[101X", "3.9", 
      [ 3, 9, 0 ], 1326, 35, "everything else", "X7A0D26B180BEDE37" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Alt>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.9-1", [ 3, 9, 1 ], 1329, 35, "<alt>", 
      "X850E69017945AE3E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Par>\033[110X\033[101X\027\033[1X\027 an\
d \033[10X<P>\033[110X\033[101X\027\033[1X\027\033[133X\033[101X", "3.9-2", 
      [ 3, 9, 2 ], 1370, 35, "<par> and <p>", "X85D23A648444069F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Br>\033[110X\033[101X\027\033[1X\027\\
033[133X\033[101X", "3.9-3", [ 3, 9, 3 ], 1390, 36, "<br>", 
      "X7A3EF0647B10C1EC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2Y\033[10X<Ignore>\033[110X\033[101X\027\033[1X\\
027\033[133X\033[101X", "3.9-4", [ 3, 9, 4 ], 1402, 36, "<ignore>", 
      "X7A81FB717A30B485" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YDistributing a Document into Several Files\033[13\
3X\033[101X", "4", [ 4, 0, 0 ], 1, 37, 
      "distributing a document into several files", "X7A3355C07F57C280" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Conventions\033[133X\033[101X", "4.1", 
      [ 4, 1, 0 ], 15, 37, "the conventions", "X7CE078A07E8256DC" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YA Tool for Collecting a Document\033[133X\033[101\
X", "4.2", [ 4, 2, 0 ], 87, 38, "a tool for collecting a document", 
      "X81E07B0F83EBDA5F" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe Converters and an XML Parser\033[133X\033[101\
X", "5", [ 5, 0, 0 ], 1, 40, "the converters and an xml parser", 
      "X845E7FDC7C082CC4" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YProducing Documentation from Source Files\033[133\
X\033[101X", "5.1", [ 5, 1, 0 ], 12, 40, 
      "producing documentation from source files", "X7D1BB5867C13FA14" ], 
  [ "\033[1X\033[33X\033[0;-2YParsing XML Documents\033[133X\033[101X", 
      "5.2", [ 5, 2, 0 ], 174, 42, "parsing xml documents", 
      "X7FE2AF49838D9034" ], 
  [ "\033[1X\033[33X\033[0;-2YThe Converters\033[133X\033[101X", "5.3", 
      [ 5, 3, 0 ], 421, 46, "the converters", "X8560E1A2845EC2C1" ], 
  [ "\033[1X\033[33X\033[0;-2YStylesheet files\033[133X\033[101X", "5.3-9", 
      [ 5, 3, 9 ], 835, 53, "stylesheet files", "X788AB14383272FDB" ], 
  [ "\033[1X\033[33X\033[0;-2YTesting Manual Examples\033[133X\033[101X", 
      "5.4", [ 5, 4, 0 ], 920, 54, "testing manual examples", 
      "X800299827B88ABBE" ], 
  [ "\033[1X\033[33X\033[0;-2YString and Text Utilities\033[133X\033[101X", 
      "6", [ 6, 0, 0 ], 1, 57, "string and text utilities", 
      "X86CEF540862EE042" ], 
  [ "\033[1X\033[33X\033[0;-2YText Utilities\033[133X\033[101X", "6.1", 
      [ 6, 1, 0 ], 4, 57, "text utilities", "X847DA07C7C46B38A" ], 
  [ "\033[1X\033[33X\033[0;-2YUnicode Strings\033[133X\033[101X", "6.2", 
      [ 6, 2, 0 ], 326, 62, "unicode strings", "X8489C67D80399814" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YUnicode Strings and Characters\033[133X\033[101X"
        , "6.2-1", [ 6, 2, 1 ], 333, 62, "unicode strings and characters", 
      "X8475671278948DDD" ], 
  [ "\033[1X\033[33X\033[0;-2YLengths of UTF-8 strings\033[133X\033[101X", 
      "6.2-3", [ 6, 2, 3 ], 468, 64, "lengths of utf-8 strings", 
      "X801237207E06A876" ], 
  [ "\033[1X\033[33X\033[0;-2YPrint Utilities\033[133X\033[101X", "6.3", 
      [ 6, 3, 0 ], 530, 65, "print utilities", "X860C83047DC4F1BC" ], 
  [ "\033[1X\033[33X\033[0;-2YUtilities for Bibliographies\033[133X\033[101X",
      "7", [ 7, 0, 0 ], 1, 68, "utilities for bibliographies", 
      "X7EB94CE97ABF7192" ], 
  [ "\033[1X\033[33X\033[0;-2YParsing BibTeX Files\033[133X\033[101X", "7.1", 
      [ 7, 1, 0 ], 19, 68, "parsing bibtex files", "X7A4126EC7BD68F64" ], 
  [ "\033[1X\033[33X\033[0;-2YThe BibXMLext Format\033[133X\033[101X", "7.2", 
      [ 7, 2, 0 ], 181, 71, "the bibxmlext format", "X7FB8F6BD80D859D1" ], 
  [ "\033[1X\033[33X\033[0;-2YUtilities for BibXMLext data\033[133X\033[101X",
      "7.3", [ 7, 3, 0 ], 306, 73, "utilities for bibxmlext data", 
      "X7AC255DE7D2531B6" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YTranslating BibTeX to BibXMLext\033[133X\033[101X\
", "7.3-1", [ 7, 3, 1 ], 309, 73, "translating bibtex to bibxmlext", 
      "X7C5548E77ECA29D7" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YBibliography Entries as Records\033[133X\033[101X\
", "7.3-6", [ 7, 3, 6 ], 470, 75, "bibliography entries as records", 
      "X82167F1280F4310E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YGetting BibTeX entries from \033[5XMathSciNet\\
033[105X\033[101X\027\033[1X\027\033[133X\033[101X", "7.4", [ 7, 4, 0 ], 779, 
      80, "getting bibtex entries from mathscinet", "X842336AF7B20048E" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe File \033[11X3k+1.xml\033[111X\033[101X\027\\
033[1X\027\033[133X\033[101X", "a", [ "A", 0, 0 ], 1, 82, "the file 3k+1.xml",
      "X830C58F97F9CD901" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe File \033[11Xgapdoc.dtd\033[111X\033[101X\\
027\033[1X\027\033[133X\033[101X", "b", [ "B", 0, 0 ], 1, 84, 
      "the file gapdoc.dtd", "X85366C6480D58C51" ], 
  [ 
      "\033[1X\033[33X\033[0;-2YThe File \033[11Xbibxmlext.dtd\033[111X\033[101X\\
027\033[1X\027\033[133X\033[101X", "c", [ "C", 0, 0 ], 1, 93, 
      "the file bibxmlext.dtd", "X7E2788757A1AA098" ], 
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 103, "bibliography", 
      "X7A6F98FD85F02BFE" ], 
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 103, "references", 
      "X7A6F98FD85F02BFE" ], 
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 104, "index", "X83A0356F839C696F" ], 
  [ "License", "0.0-1", [ 0, 0, 1 ], 23, 2, "license", "X81488B807F2A1CF1" ], 
  [ "XML", "1.1", [ 1, 1, 0 ], 28, 5, "xml", "X8590236E858F7E93" ], 
  [ "\033[10XBook\033[110X", "3.2-1", [ 3, 2, 1 ], 51, 16, "book", 
      "X7C7258A57B831934" ], 
  [ "\033[10XTitlePage\033[110X", "3.2-2", [ 3, 2, 2 ], 95, 16, "titlepage", 
      "X842B421A7FBCDD2C" ], 
  [ "\033[10XTitle\033[110X", "3.2-3", [ 3, 2, 3 ], 112, 16, "title", 
      "X7BCC8E6F79021294" ], 
  [ "\033[10XSubtitle\033[110X", "3.2-4", [ 3, 2, 4 ], 167, 17, "subtitle", 
      "X82E82AF48217CC14" ], 
  [ "\033[10XVersion\033[110X", "3.2-5", [ 3, 2, 5 ], 176, 17, "version", 
      "X876962807DCC52B3" ], 
  [ "\033[10XTitleComment\033[110X", "3.2-6", [ 3, 2, 6 ], 188, 18, 
      "titlecomment", "X87E7CD5B79230B90" ], 
  [ "\033[10XAuthor\033[110X", "3.2-7", [ 3, 2, 7 ], 200, 18, "author", 
      "X8731459C7E4C56DA" ], 
  [ "\033[10XDate\033[110X", "3.2-8", [ 3, 2, 8 ], 213, 18, "date", 
      "X8264A69D7DCDD773" ], 
  [ "\033[10XAddress\033[110X", "3.2-9", [ 3, 2, 9 ], 223, 18, "address", 
      "X7EEF65A07A094F65" ], 
  [ "\033[10XAbstract\033[110X", "3.2-10", [ 3, 2, 10 ], 240, 18, "abstract", 
      "X833110FE79628313" ], 
  [ "\033[10XCopyright\033[110X", "3.2-11", [ 3, 2, 11 ], 249, 18, 
      "copyright", "X84BBD8307E08E62F" ], 
  [ "\033[10XAcknowledgements\033[110X", "3.2-12", [ 3, 2, 12 ], 259, 19, 
      "acknowledgements", "X8143972D7C17838E" ], 
  [ "\033[10XColophon\033[110X", "3.2-13", [ 3, 2, 13 ], 268, 19, "colophon", 
      "X7C09A3398059D18C" ], 
  [ "\033[10XTableOfContents\033[110X", "3.2-14", [ 3, 2, 14 ], 277, 19, 
      "tableofcontents", "X7E97263A83DC26E9" ], 
  [ "\033[10XBibliography\033[110X", "3.2-15", [ 3, 2, 15 ], 295, 19, 
      "bibliography", "X84F3DF21786A8751" ], 
  [ "\033[10XTheIndex\033[110X", "3.2-16", [ 3, 2, 16 ], 326, 20, "theindex", 
      "X7C53615A8477F1E5" ], 
  [ "\033[10XBody\033[110X", "3.3-1", [ 3, 3, 1 ], 361, 20, "body", 
      "X7B38415687510D0A" ], 
  [ "\033[10XChapter\033[110X", "3.3-2", [ 3, 3, 2 ], 385, 20, "chapter", 
      "X7A86B2BA7D688B6B" ], 
  [ "\033[10XHeading\033[110X", "3.3-3", [ 3, 3, 3 ], 406, 21, "heading", 
      "X79825E1C821D0B79" ], 
  [ "\033[10XAppendix\033[110X", "3.3-4", [ 3, 3, 4 ], 421, 21, "appendix", 
      "X7C701B2779767556" ], 
  [ "\033[10XSection\033[110X", "3.3-5", [ 3, 3, 5 ], 436, 21, "section", 
      "X844DC2B47FB37339" ], 
  [ "\033[10XSubsection\033[110X", "3.3-6", [ 3, 3, 6 ], 458, 21, 
      "subsection", "X803ACA187E292969" ], 
  [ "\033[10XManSection\033[110X", "3.4-1", [ 3, 4, 1 ], 486, 22, 
      "mansection", "X8375D9CC8672A1D5" ], 
  [ "\033[10XDescription\033[110X", "3.4-1", [ 3, 4, 1 ], 486, 22, 
      "description", "X8375D9CC8672A1D5" ], 
  [ "\033[10XReturns\033[110X", "3.4-1", [ 3, 4, 1 ], 486, 22, "returns", 
      "X8375D9CC8672A1D5" ], 
  [ "\033[10XFunc\033[110X", "3.4-2", [ 3, 4, 2 ], 530, 23, "func", 
      "X7C41A7B5845205C4" ], 
  [ "\033[10XOper\033[110X", "3.4-3", [ 3, 4, 3 ], 571, 23, "oper", 
      "X7A15825E818A81CD" ], 
  [ "\033[10XConstr\033[110X", "3.4-4", [ 3, 4, 4 ], 592, 23, "constr", 
      "X7FBFD7A3786C7CAB" ], 
  [ "\033[10XMeth\033[110X", "3.4-5", [ 3, 4, 5 ], 613, 24, "meth", 
      "X81196E2B7F286A01" ], 
  [ "\033[10XFilt\033[110X", "3.4-6", [ 3, 4, 6 ], 634, 24, "filt", 
      "X7D8D2C38828D5854" ], 
  [ "\033[10XProp\033[110X", "3.4-7", [ 3, 4, 7 ], 653, 24, "prop", 
      "X7D6400A67C30B752" ], 
  [ "\033[10XAttr\033[110X", "3.4-8", [ 3, 4, 8 ], 668, 25, "attr", 
      "X78CEEC5986987A97" ], 
  [ "\033[10XVar\033[110X", "3.4-9", [ 3, 4, 9 ], 683, 25, "var", 
      "X7C3AACBE7BC6AABF" ], 
  [ "\033[10XFam\033[110X", "3.4-10", [ 3, 4, 10 ], 697, 25, "fam", 
      "X85EE992E7FED2FE6" ], 
  [ "\033[10XInfoClass\033[110X", "3.4-11", [ 3, 4, 11 ], 711, 25, 
      "infoclass", "X78F0D4D1811E5BAE" ], 
  [ "\033[10XRef\033[110X", "3.5-1", [ 3, 5, 1 ], 740, 26, "ref", 
      "X8656F2338007406E" ], 
  [ "\033[10XLabel\033[110X", "3.5-2", [ 3, 5, 2 ], 803, 27, "label", 
      "X7C85CA5484344DB5" ], 
  [ "\033[10XCite\033[110X", "3.5-3", [ 3, 5, 3 ], 817, 27, "cite", 
      "X851DE9D279D8FB04" ], 
  [ "\033[10XIndex\033[110X", "3.5-4", [ 3, 5, 4 ], 832, 27, "index", 
      "X811042BA78843777" ], 
  [ "\033[10XURL\033[110X", "3.5-5", [ 3, 5, 5 ], 851, 28, "url", 
      "X81B3E46F839E1C5B" ], 
  [ "\033[10XEmail\033[110X", "3.5-6", [ 3, 5, 6 ], 872, 28, "email", 
      "X8310C4F084CD9DB9" ], 
  [ "\033[10XHomepage\033[110X", "3.5-7", [ 3, 5, 7 ], 885, 28, "homepage", 
      "X7D5CC4267D04D7E7" ], 
  [ "\033[10XList\033[110X", "3.6-1", [ 3, 6, 1 ], 903, 28, "list", 
      "X785183F67DA402A0" ], 
  [ "\033[10XMark\033[110X", "3.6-2", [ 3, 6, 2 ], 926, 29, "mark", 
      "X7B1545A9797442DC" ], 
  [ "\033[10XItem\033[110X", "3.6-3", [ 3, 6, 3 ], 936, 29, "item", 
      "X86C204987AB4B13D" ], 
  [ "\033[10XEnum\033[110X", "3.6-4", [ 3, 6, 4 ], 946, 29, "enum", 
      "X78A52B00846562DE" ], 
  [ "\033[10XTable\033[110X", "3.6-5", [ 3, 6, 5 ], 960, 29, "table", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[10X<Caption>\033[110X", "3.6-5", [ 3, 6, 5 ], 960, 29, "<caption>", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[10X<Row>\033[110X", "3.6-5", [ 3, 6, 5 ], 960, 29, "<row>", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[10X<Align>\033[110X", "3.6-5", [ 3, 6, 5 ], 960, 29, "<align>", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[10X<HorLine>\033[110X", "3.6-5", [ 3, 6, 5 ], 960, 29, "<horline>", 
      "X7F9CAA577EB4070B" ], 
  [ "\033[10X<Item>\033[110X in \033[10X<Table>\033[110X", "3.6-5", 
      [ 3, 6, 5 ], 960, 29, "<item> in <table>", "X7F9CAA577EB4070B" ], 
  [ "\033[10XEmph\033[110X", "3.7-1", [ 3, 7, 1 ], 1008, 30, "emph", 
      "X7B15C428861749FD" ], 
  [ "\033[10XE\033[110X", "3.7-1", [ 3, 7, 1 ], 1008, 30, "e", 
      "X7B15C428861749FD" ], 
  [ "\033[10XQuoted\033[110X", "3.7-2", [ 3, 7, 2 ], 1019, 30, "quoted", 
      "X80028C2483C9467E" ], 
  [ "\033[10XQ\033[110X", "3.7-2", [ 3, 7, 2 ], 1019, 30, "q", 
      "X80028C2483C9467E" ], 
  [ "\033[10XKeyword\033[110X", "3.7-3", [ 3, 7, 3 ], 1030, 30, "keyword", 
      "X867BB95E7DC87014" ], 
  [ "\033[10XK\033[110X", "3.7-3", [ 3, 7, 3 ], 1030, 30, "k", 
      "X867BB95E7DC87014" ], 
  [ "\033[10XArg\033[110X", "3.7-4", [ 3, 7, 4 ], 1042, 31, "arg", 
      "X86FD4CCA7F98351F" ], 
  [ "\033[10XA\033[110X", "3.7-4", [ 3, 7, 4 ], 1042, 31, "a", 
      "X86FD4CCA7F98351F" ], 
  [ "\033[10XCode\033[110X", "3.7-5", [ 3, 7, 5 ], 1055, 31, "code", 
      "X8400998B7B3A4379" ], 
  [ "\033[10XC\033[110X", "3.7-5", [ 3, 7, 5 ], 1055, 31, "c", 
      "X8400998B7B3A4379" ], 
  [ "\033[10XFile\033[110X", "3.7-6", [ 3, 7, 6 ], 1068, 31, "file", 
      "X875AF9B4812C5249" ], 
  [ "\033[10XF\033[110X", "3.7-6", [ 3, 7, 6 ], 1068, 31, "f", 
      "X875AF9B4812C5249" ], 
  [ "\033[10XButton\033[110X", "3.7-7", [ 3, 7, 7 ], 1079, 31, "button", 
      "X7929BA7D78A977FF" ], 
  [ "\033[10XB\033[110X", "3.7-7", [ 3, 7, 7 ], 1079, 31, "b", 
      "X7929BA7D78A977FF" ], 
  [ "\033[10XPackage\033[110X", "3.7-8", [ 3, 7, 8 ], 1091, 31, "package", 
      "X7F4FFA877B775188" ], 
  [ "\033[10XListing\033[110X", "3.7-9", [ 3, 7, 9 ], 1102, 32, "listing", 
      "X7F531B157D656836" ], 
  [ "\033[10XLog\033[110X", "3.7-10", [ 3, 7, 10 ], 1124, 32, "log", 
      "X810DEA1E83A57CFE" ], 
  [ "\033[10XExample\033[110X", "3.7-10", [ 3, 7, 10 ], 1124, 32, "example", 
      "X810DEA1E83A57CFE" ], 
  [ "\033[10XMath\033[110X", "3.8-1", [ 3, 8, 1 ], 1163, 32, "math", 
      "X7AA02845868AA533" ], 
  [ "\033[10XDisplay\033[110X", "3.8-1", [ 3, 8, 1 ], 1163, 32, "display", 
      "X7AA02845868AA533" ], 
  [ "\033[10XM\033[110X", "3.8-2", [ 3, 8, 2 ], 1206, 33, "m", 
      "X7ABF42328467E966" ], 
  [ "\033[10XAlt\033[110X", "3.9-1", [ 3, 9, 1 ], 1329, 35, "alt", 
      "X850E69017945AE3E" ], 
  [ "\033[10XPar\033[110X", "3.9-2", [ 3, 9, 2 ], 1370, 35, "par", 
      "X85D23A648444069F" ], 
  [ "\033[10XP\033[110X", "3.9-2", [ 3, 9, 2 ], 1370, 35, "p", 
      "X85D23A648444069F" ], 
  [ "\033[10XBr\033[110X", "3.9-3", [ 3, 9, 3 ], 1390, 36, "br", 
      "X7A3EF0647B10C1EC" ], 
  [ "\033[10XIgnore\033[110X", "3.9-4", [ 3, 9, 4 ], 1402, 36, "ignore", 
      "X7A81FB717A30B485" ], 
  [ "\033[10X<#Include>\033[110X", "4.1", [ 4, 1, 0 ], 15, 37, "< include>", 
      "X7CE078A07E8256DC" ], 
  [ "\033[10X<#GAPDoc>\033[110X", "4.1", [ 4, 1, 0 ], 15, 37, "< gapdoc>", 
      "X7CE078A07E8256DC" ], 
  [ "\033[2XComposedDocument\033[102X", "4.2-1", [ 4, 2, 1 ], 90, 38, 
      "composeddocument", "X857D77557D12559D" ], 
  [ "\033[2XComposedXMLString\033[102X", "4.2-1", [ 4, 2, 1 ], 90, 38, 
      "composedxmlstring", "X857D77557D12559D" ], 
  [ "\033[2XOriginalPositionDocument\033[102X", "4.2-2", [ 4, 2, 2 ], 135, 
      39, "originalpositiondocument", "X86D1141E7EDCAAC8" ], 
  [ "\033[2XFilenameGAP\033[102X", "4.2-3", [ 4, 2, 3 ], 145, 39, 
      "filenamegap", "X81E67E4678FB6843" ], 
  [ "\033[2XMakeGAPDocDoc\033[102X", "5.1-1", [ 5, 1, 1 ], 136, 42, 
      "makegapdocdoc", "X826F530686F4D052" ], 
  [ "\033[5XMathJax\033[105X in \033[10XMakeGAPDocDoc\033[110X", "5.1-1", 
      [ 5, 1, 1 ], 136, 42, "mathjax in makegapdocdoc", "X826F530686F4D052" ],
  [ "\033[2XParseTreeXMLString\033[102X", "5.2-1", [ 5, 2, 1 ], 181, 43, 
      "parsetreexmlstring", "X847EB8498151D443" ], 
  [ "\033[2XParseTreeXMLFile\033[102X", "5.2-1", [ 5, 2, 1 ], 181, 43, 
      "parsetreexmlfile", "X847EB8498151D443" ], 
  [ "\033[2XStringXMLElement\033[102X", "5.2-2", [ 5, 2, 2 ], 250, 44, 
      "stringxmlelement", "X835887057D0B4DA8" ], 
  [ "\033[2XEntitySubstitution\033[102X", "5.2-3", [ 5, 2, 3 ], 272, 44, 
      "entitysubstitution", "X786827BF793191B3" ], 
  [ "\033[2XDisplayXMLStructure\033[102X", "5.2-4", [ 5, 2, 4 ], 292, 44, 
      "displayxmlstructure", "X86589C5C859ACE38" ], 
  [ "\033[2XApplyToNodesParseTree\033[102X", "5.2-5", [ 5, 2, 5 ], 302, 44, 
      "applytonodesparsetree", "X7A7B223A83E38B40" ], 
  [ "\033[2XAddRootParseTree\033[102X", "5.2-5", [ 5, 2, 5 ], 302, 44, 
      "addrootparsetree", "X7A7B223A83E38B40" ], 
  [ "\033[2XRemoveRootParseTree\033[102X", "5.2-5", [ 5, 2, 5 ], 302, 44, 
      "removerootparsetree", "X7A7B223A83E38B40" ], 
  [ "\033[2XGetTextXMLTree\033[102X", "5.2-6", [ 5, 2, 6 ], 318, 45, 
      "gettextxmltree", "X7F76D4A27C7FB946" ], 
  [ "\033[2XXMLElements\033[102X", "5.2-7", [ 5, 2, 7 ], 327, 45, 
      "xmlelements", "X8466F74C80442F7D" ], 
  [ "\033[2XCheckAndCleanGapDocTree\033[102X", "5.2-8", [ 5, 2, 8 ], 341, 45, 
      "checkandcleangapdoctree", "X84CFF72484B19C0D" ], 
  [ "\033[2XAddParagraphNumbersGapDocTree\033[102X", "5.2-9", [ 5, 2, 9 ], 
      358, 45, "addparagraphnumbersgapdoctree", "X84062CD67B286FF0" ], 
  [ "\033[2XInfoXMLParser\033[102X", "5.2-10", [ 5, 2, 10 ], 371, 46, 
      "infoxmlparser", "X78A22C58841E5D0B" ], 
  [ "\033[2XXMLValidate\033[102X", "5.2-11", [ 5, 2, 11 ], 380, 46, 
      "xmlvalidate", "X8403741C8386E7F0" ], 
  [ "\033[2XValidateGAPDoc\033[102X", "5.2-12", [ 5, 2, 12 ], 394, 46, 
      "validategapdoc", "X797F96F8876D7452" ], 
  [ "\033[2XGAPDoc2LaTeX\033[102X", "5.3-1", [ 5, 3, 1 ], 427, 46, 
      "gapdoc2latex", "X85BE6DF178423EF5" ], 
  [ "\033[2XSetGapDocLaTeXOptions\033[102X", "5.3-1", [ 5, 3, 1 ], 427, 46, 
      "setgapdoclatexoptions", "X85BE6DF178423EF5" ], 
  [ "\033[2XGAPDoc2Text\033[102X", "5.3-2", [ 5, 3, 2 ], 482, 47, 
      "gapdoc2text", "X86CD0B197CD58D2A" ], 
  [ "\033[2XGAPDoc2TextPrintTextFiles\033[102X", "5.3-3", [ 5, 3, 3 ], 538, 
      48, "gapdoc2textprinttextfiles", "X7DFCE7357D6032A2" ], 
  [ "\033[2XAddPageNumbersToSix\033[102X", "5.3-4", [ 5, 3, 4 ], 562, 48, 
      "addpagenumberstosix", "X7EB5E86F87A09F94" ], 
  [ "\033[2XPrintSixFile\033[102X", "5.3-5", [ 5, 3, 5 ], 575, 49, 
      "printsixfile", "X7D42CFED7885BC00" ], 
  [ "\033[2XSetGAPDocTextTheme\033[102X", "5.3-6", [ 5, 3, 6 ], 585, 49, 
      "setgapdoctexttheme", "X7DEB37417BBD8941" ], 
  [ "\033[2XGAPDoc2HTML\033[102X", "5.3-7", [ 5, 3, 7 ], 716, 51, 
      "gapdoc2html", "X84F22EEB78845CFD" ], 
  [ "\033[5XMathJax\033[105X", "5.3-7", [ 5, 3, 7 ], 716, 51, "mathjax", 
      "X84F22EEB78845CFD" ], 
  [ "\033[2XGAPDoc2HTMLPrintHTMLFiles\033[102X", "5.3-8", [ 5, 3, 8 ], 815, 
      52, "gapdoc2htmlprinthtmlfiles", "X84A7007778073E7A" ], 
  [ "CSS stylesheets", "5.3-9", [ 5, 3, 9 ], 835, 53, "css stylesheets", 
      "X788AB14383272FDB" ], 
  [ "\033[2XCopyHTMLStyleFiles\033[102X", "5.3-10", [ 5, 3, 10 ], 856, 53, 
      "copyhtmlstylefiles", "X813599E982DE9B98" ], 
  [ "\033[2XSetGAPDocHTMLStyle\033[102X", "5.3-11", [ 5, 3, 11 ], 864, 53, 
      "setgapdochtmlstyle", "X85AFD98383174BB5" ], 
  [ "\033[2XInfoGAPDoc\033[102X", "5.3-12", [ 5, 3, 12 ], 886, 54, 
      "infogapdoc", "X864A528B81C661A2" ], 
  [ "\033[2XSetGapDocLanguage\033[102X", "5.3-13", [ 5, 3, 13 ], 895, 54, 
      "setgapdoclanguage", "X82AB468887ED0DBB" ], 
  [ "Using \033[5XGAPDoc\033[105X with other languages", "5.3-13", 
      [ 5, 3, 13 ], 895, 54, "using gapdoc with other languages", 
      "X82AB468887ED0DBB" ], 
  [ "\033[10XManualExamples\033[110X", "5.4", [ 5, 4, 0 ], 920, 54, 
      "manualexamples", "X800299827B88ABBE" ], 
  [ "\033[10XTestManualExamples\033[110X", "5.4", [ 5, 4, 0 ], 920, 54, 
      "testmanualexamples", "X800299827B88ABBE" ], 
  [ "\033[2XExtractExamples\033[102X", "5.4-1", [ 5, 4, 1 ], 930, 54, 
      "extractexamples", "X8337B2BC79253B3F" ], 
  [ "\033[2XExtractExamplesXMLTree\033[102X", "5.4-1", [ 5, 4, 1 ], 930, 54, 
      "extractexamplesxmltree", "X8337B2BC79253B3F" ], 
  [ "\033[2XRunExamples\033[102X", "5.4-2", [ 5, 4, 2 ], 959, 55, 
      "runexamples", "X781D56FC7B938DCB" ], 
  [ "\033[2XWHITESPACE\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, "whitespace", 
      "X786D477C7AB636AA" ], 
  [ "\033[2XCAPITALLETTERS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, 
      "capitalletters", "X786D477C7AB636AA" ], 
  [ "\033[2XSMALLLETTERS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, 
      "smallletters", "X786D477C7AB636AA" ], 
  [ "\033[2XLETTERS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, "letters", 
      "X786D477C7AB636AA" ], 
  [ "\033[2XDIGITS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, "digits", 
      "X786D477C7AB636AA" ], 
  [ "\033[2XHEXDIGITS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, "hexdigits", 
      "X786D477C7AB636AA" ], 
  [ "\033[2XBOXCHARS\033[102X", "6.1-1", [ 6, 1, 1 ], 12, 57, "boxchars", 
      "X786D477C7AB636AA" ], 
  [ "\033[2XTextAttr\033[102X", "6.1-2", [ 6, 1, 2 ], 47, 58, "textattr", 
      "X785F61E77899580E" ], 
  [ "UseColorsInTerminal", "6.1-2", [ 6, 1, 2 ], 47, 58, 
      "usecolorsinterminal", "X785F61E77899580E" ], 
  [ "\033[2XWrapTextAttribute\033[102X", "6.1-3", [ 6, 1, 3 ], 83, 58, 
      "wraptextattribute", "X7B8AD7517E5FD0EA" ], 
  [ "\033[2XFormatParagraph\033[102X", "6.1-4", [ 6, 1, 4 ], 104, 59, 
      "formatparagraph", "X812058CE7C8E9022" ], 
  [ "\033[2XSubstitutionSublist\033[102X", "6.1-5", [ 6, 1, 5 ], 145, 59, 
      "substitutionsublist", "X82A9121678923445" ], 
  [ "\033[2XStripBeginEnd\033[102X", "6.1-6", [ 6, 1, 6 ], 166, 60, 
      "stripbeginend", "X83DE31017B557136" ], 
  [ "\033[2XStripEscapeSequences\033[102X", "6.1-7", [ 6, 1, 7 ], 180, 60, 
      "stripescapesequences", "X7A5978CF84C3C2D3" ], 
  [ "\033[2XRepeatedString\033[102X", "6.1-8", [ 6, 1, 8 ], 189, 60, 
      "repeatedstring", "X7D71CB837EE969D4" ], 
  [ "\033[2XRepeatedUTF8String\033[102X", "6.1-8", [ 6, 1, 8 ], 189, 60, 
      "repeatedutf8string", "X7D71CB837EE969D4" ], 
  [ "\033[2XNumberDigits\033[102X", "6.1-9", [ 6, 1, 9 ], 217, 60, 
      "numberdigits", "X7CEEA5B57D7BB38F" ], 
  [ "\033[2XDigitsNumber\033[102X", "6.1-9", [ 6, 1, 9 ], 217, 60, 
      "digitsnumber", "X7CEEA5B57D7BB38F" ], 
  [ "\033[2XLabelInt\033[102X", "6.1-10", [ 6, 1, 10 ], 239, 61, "labelint", 
      "X79EF038284598D41" ], 
  [ "\033[2XPositionMatchingDelimiter\033[102X", "6.1-11", [ 6, 1, 11 ], 269, 
      61, "positionmatchingdelimiter", "X7AF694D9839BF65C" ], 
  [ "\033[2XWordsString\033[102X", "6.1-12", [ 6, 1, 12 ], 291, 62, 
      "wordsstring", "X832556617F10AAA8" ], 
  [ "\033[2XBase64String\033[102X", "6.1-13", [ 6, 1, 13 ], 304, 62, 
      "base64string", "X83F2821783DA9826" ], 
  [ "\033[2XStringBase64\033[102X", "6.1-13", [ 6, 1, 13 ], 304, 62, 
      "stringbase64", "X83F2821783DA9826" ], 
  [ "\033[2XUnicode\033[102X", "6.2-1", [ 6, 2, 1 ], 333, 62, "unicode", 
      "X8475671278948DDD" ], 
  [ "\033[2XUChar\033[102X", "6.2-1", [ 6, 2, 1 ], 333, 62, "uchar", 
      "X8475671278948DDD" ], 
  [ "\033[2XIsUnicodeString\033[102X", "6.2-1", [ 6, 2, 1 ], 333, 62, 
      "isunicodestring", "X8475671278948DDD" ], 
  [ "\033[2XIsUnicodeCharacter\033[102X", "6.2-1", [ 6, 2, 1 ], 333, 62, 
      "isunicodecharacter", "X8475671278948DDD" ], 
  [ "\033[2XIntListUnicodeString\033[102X", "6.2-1", [ 6, 2, 1 ], 333, 62, 
      "intlistunicodestring", "X8475671278948DDD" ], 
  [ "URL encoding", "6.2-1", [ 6, 2, 1 ], 333, 62, "url encoding", 
      "X8475671278948DDD" ], 
  [ "RFC 3986", "6.2-1", [ 6, 2, 1 ], 333, 62, "rfc 3986", 
      "X8475671278948DDD" ], 
  [ "\033[2XEncode\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, "encode", 
      "X818A31567EB30A39" ], 
  [ "\033[2XSimplifiedUnicodeString\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "simplifiedunicodestring", "X818A31567EB30A39" ], 
  [ "\033[2XLowercaseUnicodeString\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "lowercaseunicodestring", "X818A31567EB30A39" ], 
  [ "\033[2XUppercaseUnicodeString\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "uppercaseunicodestring", "X818A31567EB30A39" ], 
  [ "\033[2XLaTeXUnicodeTable\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "latexunicodetable", "X818A31567EB30A39" ], 
  [ "\033[2XSimplifiedUnicodeTable\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "simplifiedunicodetable", "X818A31567EB30A39" ], 
  [ "\033[2XLowercaseUnicodeTable\033[102X", "6.2-2", [ 6, 2, 2 ], 378, 63, 
      "lowercaseunicodetable", "X818A31567EB30A39" ], 
  [ "\033[2XWidthUTF8String\033[102X", "6.2-3", [ 6, 2, 3 ], 468, 64, 
      "widthutf8string", "X801237207E06A876" ], 
  [ "\033[2XNrCharsUTF8String\033[102X", "6.2-3", [ 6, 2, 3 ], 468, 64, 
      "nrcharsutf8string", "X801237207E06A876" ], 
  [ "\033[2XInitialSubstringUTF8String\033[102X", "6.2-4", [ 6, 2, 4 ], 504, 
      65, "initialsubstringutf8string", "X7E2974CD84977819" ], 
  [ "\033[2XPrintTo1\033[102X", "6.3-1", [ 6, 3, 1 ], 537, 65, "printto1", 
      "X8603B90C7C3F0AB1" ], 
  [ "\033[2XAppendTo1\033[102X", "6.3-1", [ 6, 3, 1 ], 537, 65, "appendto1", 
      "X8603B90C7C3F0AB1" ], 
  [ "\033[2XStringPrint\033[102X", "6.3-2", [ 6, 3, 2 ], 557, 66, 
      "stringprint", "X829B720C86E57E8B" ], 
  [ "\033[2XStringView\033[102X", "6.3-2", [ 6, 3, 2 ], 557, 66, 
      "stringview", "X829B720C86E57E8B" ], 
  [ "\033[2XStringDisplay\033[102X", "6.3-2", [ 6, 3, 2 ], 557, 66, 
      "stringdisplay", "X829B720C86E57E8B" ], 
  [ "\033[2XPrintFormattedString\033[102X", "6.3-3", [ 6, 3, 3 ], 570, 66, 
      "printformattedstring", "X812A8326844BC910" ], 
  [ "\033[2XPage\033[102X", "6.3-4", [ 6, 3, 4 ], 581, 66, "page", 
      "X7BB6731F7E3AAA98" ], 
  [ "\033[2XPageDisplay\033[102X", "6.3-4", [ 6, 3, 4 ], 581, 66, 
      "pagedisplay", "X7BB6731F7E3AAA98" ], 
  [ "\033[2XStringFile\033[102X", "6.3-5", [ 6, 3, 5 ], 596, 66, 
      "stringfile", "X7E14D32181FBC3C3" ], 
  [ "\033[2XFileString\033[102X", "6.3-5", [ 6, 3, 5 ], 596, 66, 
      "filestring", "X7E14D32181FBC3C3" ], 
  [ "\033[2XParseBibFiles\033[102X", "7.1-1", [ 7, 1, 1 ], 25, 68, 
      "parsebibfiles", "X82555C307FDC1817" ], 
  [ "\033[2XParseBibStrings\033[102X", "7.1-1", [ 7, 1, 1 ], 25, 68, 
      "parsebibstrings", "X82555C307FDC1817" ], 
  [ "\033[2XNormalizedNameAndKey\033[102X", "7.1-2", [ 7, 1, 2 ], 66, 69, 
      "normalizednameandkey", "X7C9F0C337A0A0FF0" ], 
  [ "\033[2XNormalizeNameAndKey\033[102X", "7.1-2", [ 7, 1, 2 ], 66, 69, 
      "normalizenameandkey", "X7C9F0C337A0A0FF0" ], 
  [ "\033[2XWriteBibFile\033[102X", "7.1-3", [ 7, 1, 3 ], 111, 69, 
      "writebibfile", "X7C2B2F65851EAA0B" ], 
  [ "\033[2XLabelsFromBibTeX\033[102X", "7.1-4", [ 7, 1, 4 ], 144, 70, 
      "labelsfrombibtex", "X783FD118794399DF" ], 
  [ "\033[2XInfoBibTools\033[102X", "7.1-5", [ 7, 1, 5 ], 172, 70, 
      "infobibtools", "X85C1D50F7E37A99A" ], 
  [ "\033[2XHeuristicTranslationsLaTeX2XML.Apply\033[102X", "7.3-2", 
      [ 7, 3, 2 ], 321, 73, "heuristictranslationslatex2xml.apply", 
      "X7A025E0A7A1CD390" ], 
  [ "\033[2XHeuristicTranslationsLaTeX2XML.ApplyToFile\033[102X", "7.3-2", 
      [ 7, 3, 2 ], 321, 73, "heuristictranslationslatex2xml.applytofile", 
      "X7A025E0A7A1CD390" ], 
  [ "\033[2XStringBibAsXMLext\033[102X", "7.3-3", [ 7, 3, 3 ], 351, 73, 
      "stringbibasxmlext", "X85F33C64787A00B7" ], 
  [ "\033[2XParseBibXMLextString\033[102X", "7.3-4", [ 7, 3, 4 ], 403, 74, 
      "parsebibxmlextstring", "X86BD29AE7A453721" ], 
  [ "\033[2XParseBibXMLextFiles\033[102X", "7.3-4", [ 7, 3, 4 ], 403, 74, 
      "parsebibxmlextfiles", "X86BD29AE7A453721" ], 
  [ "\033[2XWriteBibXMLextFile\033[102X", "7.3-5", [ 7, 3, 5 ], 440, 75, 
      "writebibxmlextfile", "X7811108C7E5B1709" ], 
  [ "\033[2XRecBibXMLEntry\033[102X", "7.3-7", [ 7, 3, 7 ], 480, 75, 
      "recbibxmlentry", "X786C33ED79F425F1" ], 
  [ "\033[2XAddHandlerBuildRecBibXMLEntry\033[102X", "7.3-8", [ 7, 3, 8 ], 
      566, 77, "addhandlerbuildrecbibxmlentry", "X8067261385905A36" ], 
  [ "\033[2XStringBibXMLEntry\033[102X", "7.3-9", [ 7, 3, 9 ], 622, 77, 
      "stringbibxmlentry", "X790A295680F7CD24" ], 
  [ "\033[2XTemplateBibXML\033[102X", "7.3-10", [ 7, 3, 10 ], 714, 79, 
      "templatebibxml", "X7C6FF57087016019" ], 
  [ "\033[2XSearchMR\033[102X", "7.4-1", [ 7, 4, 1 ], 792, 80, "searchmr", 
      "X8009F8A17DDFF9AF" ], 
  [ "\033[2XSearchMRBib\033[102X", "7.4-1", [ 7, 4, 1 ], 792, 80, 
      "searchmrbib", "X8009F8A17DDFF9AF" ] ]
);

[ Dauer der Verarbeitung: 0.12 Sekunden  (vorverarbeitet)  ]