Quelle manual.six Sprache: unbekannt

#SIXFORMAT  GapDocGAP
HELPBOOKINFOSIXTMP := rec(
encoding := "UTF-8",
bookname := "InduceReduce",
entries :=
[ [ "Title page", "0.0", [ 0, 0, 0 ], 1, 1, "title page", "X7D2C85EC87DD46E5"
     ],
  [ "Copyright", "0.0-1", [ 0, 0, 1 ], 20, 2, "copyright",
      "X81488B807F2A1CF1" ],
  [ "Acknowledgements", "0.0-2", [ 0, 0, 2 ], 31, 2, "acknowledgements",
      "X82A988D47DFAFCFA" ],
  [ "Table of Contents", "0.0-3", [ 0, 0, 3 ], 38, 3, "table of contents",
      "X8537FEB07AF2BEC8" ],
  [
      "\033[1X\033[33X\033[0;-2YThe \033[5XInduceReduce\033[105X\033[101X\027\\
033[1X\027 package\033[133X\033[101X", "1", [ 1, 0, 0 ], 1, 4,
      "the inducereduce package", "X8063C5AD861C9596" ],
  [ "\033[1X\033[33X\033[0;-2YTheory\033[133X\033[101X", "1.1", [ 1, 1, 0 ],
      4, 4, "theory", "X8729B87B848E3F89" ],
  [ "\033[1X\033[33X\033[0;-2YProgram\033[133X\033[101X", "1.2", [ 1, 2, 0 ],
      22, 4, "program", "X7A4605C07A94C9F6" ],
  [ "\033[1X\033[33X\033[0;-2YOptions\033[133X\033[101X", "1.3", [ 1, 3, 0 ],
      99, 5, "options", "X7E6B8D107B819CDC" ],
  [
      "\033[1X\033[33X\033[0;-2YDoCyclicFirst and DocyclicLast\033[133X\033[101X"
        , "1.3-1", [ 1, 3, 1 ], 110, 6, "docyclicfirst and docycliclast",
      "X8650B24882BA95D0" ],
  [ "\033[1X\033[33X\033[0;-2YLLLOffset\033[133X\033[101X", "1.3-2",
      [ 1, 3, 2 ], 146, 6, "llloffset", "X853CD33F845DFFD8" ],
  [ "\033[1X\033[33X\033[0;-2YDelta\033[133X\033[101X", "1.3-3", [ 1, 3, 3 ],
      172, 7, "delta", "X82C33CF282FC5A73" ],
  [ "\033[1X\033[33X\033[0;-2YChanging the default options\033[133X\033[101X",
      "1.3-4", [ 1, 3, 4 ], 211, 7, "changing the default options",
      "X83236B2C84A86425" ],
  [
      "\033[1X\033[33X\033[0;-2YInstalling and Loading the \033[5XInduceReduce\\
033[105X\033[101X\027\033[1X\027 Package\033[133X\033[101X", "2",
      [ 2, 0, 0 ], 1, 9, "installing and loading the inducereduce package",
      "X84F39EA27AC21C70" ],
  [ "\033[1X\033[33X\033[0;-2YInstalling the package\033[133X\033[101X",
      "2.1", [ 2, 1, 0 ], 4, 9, "installing the package", "X82D1C6CB791B726C"
     ], [ "\033[1X\033[33X\033[0;-2YLoading the package\033[133X\033[101X",
      "2.2", [ 2, 2, 0 ], 19, 9, "loading the package", "X87B74F4A7E059AED" ],
  [ "Bibliography", "bib", [ "Bib", 0, 0 ], 1, 10, "bibliography",
      "X7A6F98FD85F02BFE" ],
  [ "References", "bib", [ "Bib", 0, 0 ], 1, 10, "references",
      "X7A6F98FD85F02BFE" ],
  [ "Index", "ind", [ "Ind", 0, 0 ], 1, 11, "index", "X83A0356F839C696F" ],
  [ "License", "0.0-1", [ 0, 0, 1 ], 20, 2, "license", "X81488B807F2A1CF1" ],
  [ "\033[2XCharacterTableUnger\033[102X", "1.2-1", [ 1, 2, 1 ], 28, 4,
      "charactertableunger", "X800870BA80335175" ],
  [ "\033[2XInfoCTUnger\033[102X", "1.2-2", [ 1, 2, 2 ], 43, 4,
      "infoctunger", "X854929007C135EA0" ],
  [ "\033[2XCTUngerDefaultOptions\033[102X", "1.2-3", [ 1, 2, 3 ], 84, 5,
      "ctungerdefaultoptions", "X82B1841B7ED017DA" ] ]
);

Quelle manual.six Sprache: unbekannt

[ Dauer der Verarbeitung: 0.15 Sekunden (vorverarbeitet) ]