blob: 7820cb95cb2b54b08ab78f2215dcd7f25efa1f57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
% Copyright The Numerical Algorithms Group Limited 1991.
% Certain derivative-work portions Copyright (C) 1988 by Leslie Lamport.
% All rights reserved
% @(#)help.ht 1.9 92/06/24 17:09:42
% Help page
%% % ----------------------------------------------------------------------
%% \begin{page}{TopHelpPage}{Help Menu}
%% % ----------------------------------------------------------------------
%%
%% You are in ``\HyperName,'' \Language{}'s hypertext document browser.
%% This section describes how to make \HyperName do what you want.
%% \pp
%% This document is organized into pages.
%% Pages usually have active areas, marked in \downlink{this font.}{YouTriedIt}
%% An active area is usually linked to another page: clicking the mouse
%% in the active area moves you to the linked page.
%% The mouse cursor changes from a filled dot to an open circle when
%% it is in an active area.
%% You can try \downlink{this}{YouTriedIt} out now.
%% \beginscroll
%% You can select any one of the items below:
%% \beginmenu
%% \menulink{Quit Help}
%% {\ifcond\hasreturn ReturnPage\else UpPage\fi}
%% Go back to what you were doing.
%%
%% \item
%% \searchwindow{\menuitemstyle{Simple Search}}
%% {\stringvalue{FindTopic}}
%% Find references to \inputstring{FindTopic}{15}{series}
%% \searchwindow{Start Search} {\stringvalue{FindTopic}}.
%%
%% \menulink{Buttons}{ugHyperHeadingsPage}
%% Learn about the buttons at the top of the page.
%%
%% \menulink{Menus}{MenuHelp}
%% Learn about menus.
%%
%% %\menulink{Commands}{CommandHelp}
%% % Learn how to run \Language{} commands from \HyperName.
%%
%% \endmenu
%% \endscroll
%% \end{page}
%% % ----------------------------------------------------------------------
%% \begin{page}{ButtonHelp}{Know These Buttons}
%% % ----------------------------------------------------------------------
%% \beginscroll
%% All pages have a standard set of buttons at the top.
%% \newline
%% This is what they mean:
%% \par \ExitBitmap \space{} Leave \HyperName.
%% \par \HelpBitmap \space{} Get help, if there is any.
%% \par \UpBitmap \space{} Go back to the previous page.
%% \par \ReturnBitmap \space{} Return to the home menu.
%% \newline
%% \pp
%% \HyperName remembers where you came from.
%% You can always make forays into new topics
%% without worrying about how to get back.
%% \pp
%% The buttons at the top of the page can be used at any time
%% to return to what you were doing.
%% \pp
%% The buttons will not be displayed if they are not applicable to the page
%% you are currently viewing. So, for example, there is no ``HOME'' button
%% on the top-level menu.
%% \endscroll
%% \end{page}
%% % ----------------------------------------------------------------------
%% \begin{page}{MenuHelp}{Menus}
%% % ----------------------------------------------------------------------
%% \pp
%% \beginscroll
%% A `menu' is a list of topics.
%% You went through at least one to get here without even trying.
%% \newline
%% To choose a topic from a menu, you click on the active area
%% for the topic.
%% \horizontalline
%% Here is a menu to practice:
%% \newline
%% \beginmenu
%% \menulink{Hypertext}{WhatIsHyperText} What is hypertext?
%% \menulink{\HyperName}{WhatIsHyperDoc} What is \HyperName?
%% \menulink{Buttons}{ugHyperHeadingsPage} Headings in HyperName{}.
%% \endmenu
%% \endscroll
%% %\autobutt{HelpHelp}
%% \end{page}
%% % ----------------------------------------------------------------------
%% \begin{page}{WhatIsHyperText}{What is hypertext?}
%% % ----------------------------------------------------------------------
%% \beginscroll
%% A ``hypertext'' document is a structured entity which is part book
%% and part program.
%% You can think of it as a museum with many exhibits you can try.
%% \newline
%% ``\HyperName'' is a computer program for presenting \Language{}'s \HyperName
%% documents.
%% \endscroll
%% %\autobutt{HelpHelp}
%% \end{page}
%%
%% \begin{page}{WhatIsHyperDoc}{What is \HyperName?}
%% \beginscroll
%% This is \HyperName, a program for reading hypertext documents.
%% The name comes from the fact that the pages of the document are
%% composed using a variant of the ``TeX'' typesetting language.
%% \endscroll
%% %\autobutt{HelpHelp}
%% \end{page}
%% % ----------------------------------------------------------------------
%% \begin{page}{ExamplesHelp}{\Language{} Examples}
%% % ----------------------------------------------------------------------
%% \pp
%% \beginscroll
%% Many pages have \Language{} examples. These are ``active''
%% also but if you click here, the example is copied to an
%% interactive \Language{} ``buffer.''
%% You can then edit it or use it as a command for the \Language{} interpreter.
%% Try these: \newline
%% \indent{5}
%% \spadcommand{a:= x**2 + 1 \bound{a}} \newline
%% \spadcommand{(a - 2)**2 \free{a}} \newline
%% \indent{0}
%% Notice that the \Language{} examples are printed in a different font.
%% \pp
%% The interactive \Language{} buffers will disappear when you leave
%% \HyperName.
%% If you want to get rid of them beforehand,
%% you can always use the ``Cancel'' button of the X window manager.
%% \endscroll
%% %\autobutt{HelpHelp}
%% \end{page}
|
