home *** CD-ROM | disk | FTP | other *** search
/ GEMini Atari / GEMini_Atari_CD-ROM_Walnut_Creek_December_1993.iso / files / program / funnel / u_manual.aux < prev    next >
Encoding:
Latex Auxiliary File  |  1993-10-23  |  19.7 KB  |  203 lines
  1. \relax 
  2. \@writefile{toc}{\string\contentsline\space {chapter}{Preface}{9}}
  3. \@writefile{toc}{\string\contentsline\space {chapter}{Acknowledgements}{11}}
  4. \@writefile{toc}{\string\contentsline\space {chapter}{Presentation Notes}{13}}
  5. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {1}A Tutorial Introduction}{15}}
  6. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  7. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  8. \newlabel{chapintroduction}{{1}{15}}
  9. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.1}What is Literate Programming?}{15}}
  10. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.2}What is FunnelWeb?}{18}}
  11. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.3}The Name FunnelWeb}{19}}
  12. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.4}A FunnelWeb Tutorial}{19}}
  13. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.5}A Hello World Document}{20}}
  14. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.6}Macro Facilities}{22}}
  15. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.1}Simple Macros}{22}}
  16. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.2}Number of Times Called}{23}}
  17. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.3}Indentation}{25}}
  18. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.4}Additive Macros}{26}}
  19. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.5}Parameterized Macros}{28}}
  20. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.6}Macro Expansion}{30}}
  21. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.6.7}Include Files}{31}}
  22. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.7}Typesetting Facilities}{32}}
  23. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.1}Overview}{32}}
  24. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.2}Typesetter Independence}{34}}
  25. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.3}Hierarchical Structure}{34}}
  26. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.4}Understanding the Printed Documentation}{35}}
  27. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.5}Literals and Emphasis}{37}}
  28. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.6}Adding a Header Page}{37}}
  29. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {1.7.7}Comments}{38}}
  30. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.8}A Complete Example}{38}}
  31. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1.9}Summary}{39}}
  32. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {2}FunnelWeb Hints}{41}}
  33. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  34. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  35. \newlabel{chapadvanced}{{2}{41}}
  36. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.1}Macro Names}{41}}
  37. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.2}Quick Names}{42}}
  38. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.3}FunnelWeb the Martinet}{42}}
  39. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.4}Fiddling With End of Lines}{43}}
  40. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.5}Fudging Conditionals}{44}}
  41. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.6}Changing the Strength of Headings}{46}}
  42. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.7}Efficiency Notes}{47}}
  43. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.8}Interactive Mode}{47}}
  44. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.9}Setting Up Default Options}{49}}
  45. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.10}FunnelWeb and Make}{49}}
  46. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.11}The Dangers of FunnelWeb}{50}}
  47. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.12}Wholistic Debugging}{53}}
  48. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.13}Examples of FunnelWeb Applications}{53}}
  49. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.1}Analyzing the Monster Postscript Header File}{54}}
  50. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.2}Making Ada ADTs more A}{55}}
  51. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.3}Multiple Language Systems}{55}}
  52. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.4}The Case of the Small Function}{56}}
  53. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.5}When Comments are Bad}{57}}
  54. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.6}Documents That Share Text}{58}}
  55. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {2.13.7}Generics}{59}}
  56. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2.14}Summary}{62}}
  57. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {3}FunnelWeb Definition}{63}}
  58. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  59. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  60. \newlabel{chapdefinition}{{3}{63}}
  61. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.1}Introduction}{63}}
  62. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.2}Notation}{63}}
  63. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.3}Terminology}{63}}
  64. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.4}An Architectural Overview}{64}}
  65. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.5}Diagnostics}{65}}
  66. \newlabel{diagnostics}{{3.5}{65}}
  67. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.6}Typesetter Independence}{66}}
  68. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.7}Command Line Interface}{66}}
  69. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.7.1}Invoking FunnelWeb}{66}}
  70. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.7.2}Command Line Arguments}{67}}
  71. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.7.3}Options}{68}}
  72. \newlabel{commandlineoptions}{{3.7.3}{68}}
  73. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.8}File Name Inheritance}{70}}
  74. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.9}FunnelWeb Startup}{70}}
  75. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.10}Scanner}{71}}
  76. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.1}Basic Input File Processing}{71}}
  77. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.2}Special Sequences}{72}}
  78. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.3}Setting the Special Character}{74}}
  79. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.4}Inserting the Special Character into the Text}{74}}
  80. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.5}Inserting Arbitrary Characters into the Text}{74}}
  81. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.6}Comments}{75}}
  82. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.7}Quick Names}{76}}
  83. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.8}Inserting End of Line Markers}{76}}
  84. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.9}Suppressing End of Line Markers}{77}}
  85. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.10}Include Files}{77}}
  86. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.11}Pragmas}{78}}
  87. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.11.1}Indentation}{78}}
  88. \newlabel{indentationpragma}{{3.10.11.1}{78}}
  89. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.11.2}Maximum Input Line Length}{79}}
  90. \newlabel{millpragma}{{3.10.11.2}{79}}
  91. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.11.3}Maximum Output File Line Length}{80}}
  92. \newlabel{mollpragma}{{3.10.11.3}{80}}
  93. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.11.4}Typesetter}{80}}
  94. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.12}Freestanding Typesetter Directives}{81}}
  95. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.12.1}New Page}{81}}
  96. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.12.2}Table of Contents}{82}}
  97. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.12.3}Vertical Skip}{82}}
  98. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.10.12.4}Title}{82}}
  99. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.10.13}Scanner/Parser Interface}{82}}
  100. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.11}Parser}{83}}
  101. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.1}High Level Structure}{83}}
  102. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.2}Free Text}{83}}
  103. \newlabel{typesetterpragma}{{3.11.2}{83}}
  104. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.3}Typesetter Directives}{84}}
  105. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.11.3.1}Section}{84}}
  106. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.11.3.2}Literal Directive}{85}}
  107. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.11.3.3}Emphasis Directive}{85}}
  108. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.4}Macros}{85}}
  109. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.11.4.1}Names}{86}}
  110. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.11.4.2}Formal Parameter Lists}{86}}
  111. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.5}Expressions}{87}}
  112. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.6}Macro Calls}{87}}
  113. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.7}Formal Parameters}{87}}
  114. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.11.8}Macros are Static}{88}}
  115. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.12}Analyser}{88}}
  116. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.13}Tangle}{89}}
  117. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.14}Weave}{90}}
  118. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.14.1}Target Typesetter}{90}}
  119. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.14.2}Cross Reference Numbering}{90}}
  120. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.15}FunnelWeb Shell}{90}}
  121. \newlabel{commandshell}{{3.15}{90}}
  122. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.1}Introduction}{90}}
  123. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.2}Return Statuses}{91}}
  124. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.3}Command Line Length}{91}}
  125. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.4}String Substitution}{92}}
  126. \newlabel{stringsubstitution}{{3.15.4}{92}}
  127. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.5}How a Command Line is Processed}{92}}
  128. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.6}Options}{93}}
  129. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.15.7}Shell Commands}{93}}
  130. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.1}Absent}{93}}
  131. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.2}Codify}{94}}
  132. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.3}Compare}{94}}
  133. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.4}Define}{94}}
  134. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.5}Diff}{95}}
  135. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.6}Diffsummary}{95}}
  136. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.7}Diffzero}{96}}
  137. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.8}Eneo}{96}}
  138. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.9}Execute}{96}}
  139. \newlabel{executecommand}{{3.15.7.9}{96}}
  140. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.10}Exists}{97}}
  141. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.11}Fixeols}{97}}
  142. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.12}Fw}{98}}
  143. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.13}Help}{98}}
  144. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.14}Here}{98}}
  145. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.15}Quit}{98}}
  146. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.16}Set}{99}}
  147. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.17}Show}{99}}
  148. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.18}Skipto}{99}}
  149. \newlabel{skiptocommand}{{3.15.7.18}{99}}
  150. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.19}Status}{100}}
  151. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.20}Tolerate}{100}}
  152. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.21}Trace}{101}}
  153. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.22}Write}{101}}
  154. \@writefile{toc}{\string\contentsline\space {subsubsection}{\string\numberline\space {3.15.7.23}Writeu}{101}}
  155. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3.16}Concluding Remarks}{101}}
  156. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {4}FunnelWeb Installation}{103}}
  157. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  158. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  159. \newlabel{chapinstall}{{4}{103}}
  160. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.1}Obtaining a Copy of FunnelWeb}{103}}
  161. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.2}Establishing The Directory Tree}{104}}
  162. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.1}Admin Directory}{104}}
  163. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.2}Answers Directory}{104}}
  164. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.3}Hackman Directory}{105}}
  165. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.4}Results Directory}{105}}
  166. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.5}Scripts Directory}{105}}
  167. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.6}Sources Directory}{106}}
  168. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.7}Tests Directory}{106}}
  169. \@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2.8}Userman Directory}{107}}
  170. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.3}Compiling FunnelWeb}{107}}
  171. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.4}Testing FunnelWeb}{108}}
  172. \newlabel{testingfunnelweb}{{4.4}{108}}
  173. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.5}Installing FunnelWeb}{108}}
  174. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.6}Printing Manuals}{109}}
  175. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4.7}Installation Problems?}{109}}
  176. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {5}FunnelWeb Administration}{111}}
  177. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  178. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  179. \newlabel{chapadministration}{{5}{111}}
  180. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.1}Introduction}{111}}
  181. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.2}The User's Commitment To FunnelWeb}{111}}
  182. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.3}Documentation}{112}}
  183. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.4}Registration}{112}}
  184. \newlabel{registration}{{5.4}{112}}
  185. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.5}Support}{112}}
  186. \newlabel{support}{{5.5}{112}}
  187. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.6}Copyright}{114}}
  188. \newlabel{copyright}{{5.6}{114}}
  189. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.7}Nowarranty}{114}}
  190. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.8}Distribution}{115}}
  191. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.9}Modification}{115}}
  192. \newlabel{modification}{{5.9}{115}}
  193. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.10}Versions}{116}}
  194. \@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5.11}FTP Archive and Author}{116}}
  195. \newlabel{ftparchive}{{5.11}{116}}
  196. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {A}Glossary}{117}}
  197. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  198. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  199. \@writefile{toc}{\string\contentsline\space {chapter}{\string\numberline\space {B}References}{119}}
  200. \@writefile{lof}{\string\addvspace\space {10\p@ }}
  201. \@writefile{lot}{\string\addvspace\space {10\p@ }}
  202. \@writefile{toc}{\string\contentsline\space {chapter}{Index}{119}}
  203.