![[BACK]](/cvsweb/icons/back.gif){kind=icon}
Return to Descr.macs CVS log ![[TXT]](/cvsweb/icons/text.gif){kind=icon}
![[DIR]](/cvsweb/icons/dir.gif){kind=icon}
Up to [CSRG BSD Unix] / 43BSD / contrib / B / doc|
Return to Descr.macs CVS log | Up to [CSRG BSD Unix] / 43BSD / contrib / B / doc |
1.1 root 1: .\" Copyright (c) Stichting Mathematisch Centrum, Amsterdam, 1984.
2: .de Du\"DUmmy for preprocessor
3: ..
4: .so bfont.def
5: .ds NU 81:09:25
6: .ds B \fIB\fP
7: .nr ms 11\"Added by steven, point size of header
8: .de FR\" FRame text width, text height, page width, page height. UNITS!
9: .ll \\$1
10: .lt \\$1
11: .pl \\$4
12: .nr PO (\\$3-\\$1)/2u
13: .po \\n(POu
14: .nr TW \\$1
15: .nr HF (\\$4-\\$2)/2u
16: .ch PH
17: .ch Fo
18: .wh -\\n(HFu PH
19: .wh -\\n(HFu/2u Fo
20: ..
21: .de CM\" Cut Mark
22: .po 0
23: .lt 8.5i
24: 'if t 'tl '\(em''\(em'
25: 'if n 'sp 1v
26: .lt
27: .po
28: 'sp \\n(HFu-1v
29: ..
30: .de SN \"Section Number
31: .ds Sn Section \\$1 \"current Section Number
32: ..
33: .SN 1
34: .de pH\"title-less Page Header (used as Footer) NOT USED
35: 'bp
36: .CM
37: 'tl ''''
38: 'sp 2
39: 'ns
40: ..
41: .de PH\"Page Header
42: .nr f1 \\n(.f\" current font
43: .ft
44: .nr f2 \\n(.f\" previous font
45: .ft R
46: .nr sp \\n(.s\"current point size
47: .ps \\n(ms-1
48: 'bp
49: .CM \" Cut Mark
50: 'ie o 'tl ''\\*(TL'\\*(Sn'
51: 'el 'tl '\\*(Sn'\\*(TL''
52: .ft \\n(f2\" restore previous font
53: .ft \\n(f1\" restore current font
54: .ps \\n(sp\"restore point size
55: 'sp 2
56: 'ns
57: 'EH\"Extra Header
58: ..
59: .de Fo\" Page footer
60: .nr f1 \\n(.f\" current font
61: .ft
62: .nr f2 \\n(.f\" previous font
63: .ft R
64: .nr sp \\n(.s\"current point size
65: .ps \\n(ms-1
66: .if \\n%>2 .tl ''%''
67: .ft \\n(f2\" restore previous font
68: .ft \\n(f1\" restore current font
69: .ps \\n(sp\"restore point size
70: ..
71: .de cS\" param is # items to be constant-spaced
72: .nr wS 36*(\\n(.lu-6m)/(2*\\$1-1)/1m
73: .if \\n(wS>30 .nr ws 30
74: .nr iN (\\n(.lu-((2*\\$1-1)*\\n(wS*1m/36))/2
75: .if \\n(iNu>(2m+6n) .nr iN 2m+6n
76: .in \\n(iNu
77: .cs I \\n(wS \\n(.s
78: ..
79: .ds TL DESCRIPTION OF B
80: .FR 15.9c 25.4c 15.2c 29.2c\"Original B-report
81: .FR 12c 20c 16c 24c\"MCT 50
82: .FR 16c 24c 21c 30c\"A4
83: .ds 6 \`\"open Quote NOT USED
84: .ds 9 \'\"close Quote NOT USED
85: .ds d \\v'12u'\"a bit down, smaller font (for subscripts)
86: .ds u \\|\\v'-12u'\"up again
87: .ds 2 \\v'-21u'\\|2\\v'+21u'\"superscript 2
88: .ds ' \\h'9u'\(fm\\h'-3u'
89: .ds ` \\v'+9u'\\h@\\w=\`=u*7u/10u@\\z\`\\h@\\w=\`=u*3u/10u@\\v'-9u'
90: .ds ^ \\v'+9u'\\h@\\w=^=u\/2u+2u@\\z^\\h@\\w=^=u\/2u@\\v'-9u'
91: .ds << \\v'-3u'<\\v'+3u'
92: .ds = \(eq
93: .ds >> \\v'-3u'>\\v'+3u'
94: .ds @ @\"otherwise too bulky
95: .ds # #\"otherwise too bulky
96: .\".ds | \^|\^
97: .ds ~ \\v'-6u'\(ap\\v'+6u'\"otherwise too bulky
98: .ds * \\v'+21u'*\\v'-21u'\"lower and larger
99: .ds _ \\v'+24u'\(em\\v'-24u'
100: .if n \{\
101: .\"nroff specialities
102: .FR 17.5c 62v 21.1c-6n 66v\" Line Printer
103: .\" .FR 19.1c 22.8c 21.1c 27.9c\" Line Printer
104: .ds d \\d\"half line down
105: .ds u \\u\"half line up
106: .ds 2 \\u2\\d\"superscript 2
107: .ds ' \'
108: .ds ` \`
109: .ds ^ ^
110: .ds = =
111: .ds @ @
112: .ds ~ ~
113: .ds * *
114: .ds _ _ \}
115: .de Xx\"indeXX entry
116: ..
117: .de Ix\"Inserted indeX entry NOT USED
118: .Xx \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
119: "\\$1"
120: ..
121: .de Us\"Unnumbered Section
122: .sp 1
123: .ne \\$1
124: .in 0
125: .nr f1 \\n(.f\" current font
126: .ft
127: .nr f2 \\n(.f\" previous font
128: .ft B
129: \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
130: .ft \\n(f2\" restore previous font
131: .ft \\n(f1\" restore current font
132: .Ct \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
133: .sp 1
134: .ns
135: .ad
136: .hy
137: ..
138: .de Ur\"Unnumbered section Refraining from break
139: .br
140: .sp 1
141: .ne 5
142: .in 0
143: .nr f1 \\n(.f\" current font
144: .ft
145: .nr f2 \\n(.f\" previous font
146: .ft B
147: \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
148: .ft \\n(f2\" restore previous font
149: .ft \\n(f1\" restore current font
150: .Ct \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
151: .ns
152: ..
153: .de Ss\"Super Section (followed immediately by .St) NOT USED
154: .Us 7 \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8
155: ..
156: .de St\"Section of Text (followed by .Ta)
157: .SN \\$1
158: .Us 5 \\$1.\0 \\$2
159: ..
160: .de Se\"SEction (followed by .Sy)
161: .SN \\$2
162: .Us \\$1+4 \\$2.\0 \\$3
163: ..
164: .de Sy\"SYntax section
165: .sp 1
166: .ne \\$2
167: .in 0
168: .ns
169: ..
170: .di No
171: .ev 1
172: .br
173: M)\ \k!Down the drain
174: .br
175: .ev
176: .di
177: .de Bx\"Box
178: .nf
179: \v'-5u'\(br\v'5u'\|\\$1\|\v'-5u'\(br\v'5u'\\h'-7u'\l'|0+7u\(rn'\\h'-7u'\l'|0\(ul'
180: .fi
181: ..
182: .de Pr\"Production Rule
183: .Xx \\$1
184: .sp 1
185: .br
186: .ne \\$2
187: .nh
188: .na
189: .in 1m
190: \\$1:
191: ..
192: .de Pn\"Production Rule with no index entry
193: .sp 1
194: .br
195: .ne \\$2
196: .nh
197: .na
198: .in 1m
199: \\$1:
200: ..
201: .de Ps\"Pseudo-Syntax (next line starting "x) ")
202: .sp 0.6
203: .br
204: .ne 2
205: .hy
206: .ad
207: .in 3m
208: ..
209: .de Al\"ALternative
210: .br
211: .in 5m
212: .ti 1m
213: \(bu\ \c
214: ..
215: .de Sl\"Single aLternative
216: .br
217: .in 5m
218: .ti 1m
219: \(bu\ \c
220: ..
221: .de Eo\"Examples Old style (more than one notion)
222: .sp 1
223: .br
224: .ne \\$1
225: .in 0
226: .nf
227: Examples of \k1\\$2
228: ..
229: .de Ex\"EXamples
230: .sp 1
231: .br
232: .ne \\$1
233: .nf
234: .in 12
235: .ti 0
236: Examples of \c
237: ..
238: .de Sx\"Single eXample
239: .sp 1
240: .br
241: .ne \\$1
242: .in 0
243: Example \\$2
244: .nf
245: .in 11
246: ..
247: .de Xe\"eXample End
248: .sp 1
249: .ns
250: .in 0
251: .fi
252: ..
253: .de Sa
254: .sp 1
255: .in 0
256: See also: \c
257: ..
258: .de Ta
259: .Tx
260: ..
261: .de Tx\"running TeXt, starting with indent
262: .br
263: .hy
264: .ad
265: .fi
266: .sp
267: .br
268: .ne 2
269: .in 0
270: .ti \n^u\" bug; should have been ! register
271: ..
272: .de Di\"DIsplay
273: .sp 1
274: .nf
275: .in +(2m+6n)
276: .ne \\$1
277: ..
278: .de Ed\"End Display
279: .sp 1
280: .ns
281: .in -(2m+6n)
282: .fi
283: ..
284: .de Io\"Indent Open
285: .in +1m+3n
286: .Bu \\$1
287: ..
288: .de Ic\"Indent Close
289: .in -(1m+3n)
290: .Bu \\$1
291: ..
292: .de Af\"As Follows
293: as follows:
294: .in +1m+3n
295: .Io
296: ..
297: .de Bu\"BUllet
298: .ti -(2m+6n)
299: .ne \\$1
300: ..
301: .de Bl\"BLank
302: .br
303: .sp 1
304: .ne \\$1
305: .ns
306: ..
307: .de If\"If
308: .Bu
309: If
310: ..
311: .de Th\"Then
312: .Io
313: ..
314: .de Ow\"OtherWise
315: .Ic
316: Otherwise:
317: .Io
318: ..
319: .de Fi\"Fi
320: .Ic
321: ..
322: .de Er\"Error
323: .Bu
324: An error is signalled.
325: .Bu
326: ..
327: .de ##\"volatile remark NOT USED
328: .br
329: ### \\$1 \\$2 \\$3 \\$4 \\$5 \\$6 \\$7 \\$8 \\$9
330: .br
331: ..
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.