|
|
1.1 root 1: .so ../ADM/mac
2: .XX \& 3 "Contents"
3: .af PN i
4: .nr n 0 +1
5: .nr Z1 1.7c \" left margin for titles
6: .nr Z2 .5c+\w'000' \" indent from right margin of right margin for titles
7: .nr Z3 2.5c \" left margin for description
8: .nr Z4 3c \" indent from right margin of right margin for description
9: .nr Z5 4.5c \" left margin of continuation of titles
10: .\" title, start of authors
11: .de XX
12: .nr n +1
13: .LP
14: .nr XY \\$2 \" page number
15: .ad l
16: .mk x \" mark current vertical spot in x
17: .ll \\n(LLu-\\n(Z2u
18: .in \\n(Z5u
19: .ti 0
20: \\f(NI\\$1\\fP\\h'|\\n(Z1u'\\$4\\$5.
21: .\" was =\\nn=0=\\$3=\\$4
22: .tm =\\$1=0=\\$3=\\$4
23: .ft I
24: ..
25: .\" end of authors, start of description
26: .de X1
27: .mk y
28: .\" now set up z to be length of first line
29: .ie \\nyu-\\nxu .nr z \\n(.nu
30: .el .nr z \\n(.ku
31: .\".nr z -\\n(.iu
32: .ft R
33: .nf
34: .nr XZ \\n(LLu-\w'\\n(XY'u-\\nzu-\w'\^\^'
35: .sp |\\nxu
36: \\h'\\nzu-\\n(.iu'\^\\l'\\n(XZu'\^\\n(XY
37: .nr y +1v
38: .sp |\\nyu
39: .fi
40: .nr z +\\n(.iu
41: .in \\n(Z3u
42: .ll \\n(LLu-\\n(Z4u
43: .\"z=\\nzu ll=\\n(LL XY=\\n(XY in=\\n(Z6
44: ..
45: .de X2
46: .in 0n
47: .ll \\n(LLu
48: ..
49: .de X3
50: .SP .25i exactly
51: ..
52: .TL
53: Table of Contents
54: .SP 2
55: .nh
56: .LP
57: .XX intro 1 intro/intro.ms "Introduction"
58: A. G. Hume.
59: .X1
60: Supplementary material for the Research
61: .UX
62: system.
63: .X2
64: .X3
65: .SH
66: Document Preparation
67: .XX ms 7 ms/ms "Typing Documents on the UNIX System" ": Using the \f(CW-ms\fP and \f(CW-mcs\fP Macros with Troff"
68: L.\ L.\ Cherry and
69: M. E. Lesk.
70: .X1
71: The basic
72: .I troff
73: macro packages: the
74: .CW -ms
75: document style is useful for most purposes,
76: and
77: .CW -mcs
78: handles Bell Labs cover sheets.
79: .X2
80: .XX pm 21 pm/pm.ms "The \f(CW\-mpm\fP Macro Package"
81: B. W. Kernighan and
82: C. J. Van Wyk.
83: .X1
84: Describes the
85: .CW -mpm
86: macros,
87: a version of
88: .CW -ms
89: that does automatic page balancing.
90: .X2
91: .XX eqn 25 eqn/guide.ms "Typesetting Mathematics \(em User's Guide"
92: B. W. Kernighan and L. L. Cherry.
93: .X1
94: Describes
95: .I eqn ,
96: an easy-to-learn language for doing high-quality mathematical typesetting.
97: .X2
98: .XX tbl 35 tbl/tbl.ms "Tbl \(em A Program to Format Tables"
99: L. L. Cherry and
100: M. E. Lesk.
101: .X1
102: A program to permit easy specification of tabular material
103: for typesetting.
104: Again, easy to learn and use.
105: .X2
106: .XX pic 53 pic/pic.ms "Pic \(em A Graphics Language for Typesetting"
107: B. W. Kernighan
108: .X1
109: A language for describing line drawings.
110: .I Pic
111: descriptions included
112: in manuscripts make high-quality drawings
113: when typeset.
114: .X2
115: .XX ideal 79 ideal/user.ms "Ideal \(em A Picture-specification Language"
116: C. J. Van Wyk
117: .X1
118: This relative of
119: .I pic
120: specifies pictures with constraints and equations.
121: Although harder to use than
122: .I pic ,
123: it supports generalized pens, region filling and opaqueing.
124: .X2
125: .XX grap 109 grap/paper.ms "Grap \(em A Language for Typesetting Graphs"
126: J. L. Bentley and
127: B. W. Kernighan.
128: .X1
129: Converts numerical data into beautifully typeset
130: graphs and charts.
131: Instructions to
132: .I grap
133: may be included in any manuscript.
134: .X2
135: .XX dag 147 dag/dag.ms "Dag \(em A Program for Drawing Directed Graphs"
136: E. R. Gansner,
137: S. C. North, and
138: K.\ P.\ Vo.
139: .X1
140: Given the connection list (and labels) for a graph,
141: .I dag
142: generates an uncluttered layout for typesetting.
143: .X2
144: .XX prefer 163 prefer/prefer.m "Formatting References with Prefer"
145: M. A. Derr.
146: .X1
147: .I Prefer ,
148: the modern replacement for
149: .I refer ,
150: replaces symbolic citations in
151: a text with properly sequenced bibliographic references
152: and prepares a bibliography.
153: .X2
154: .XX cip 175 cip/cip.ms "Cip User's Manual" ": One Picture is Worth a Thousand Words"
155: S. A. Browning.
156: .X1
157: How to interactively draw
158: .I pic
159: pictures for your documents on a screen instead
160: of programming them.
161: .X2
162: .XX troffref 187 troff/man.ms "Troff User's Manual"
163: J. F. Ossanna and
164: B. W. Kernighan.
165: .X1
166: The basic text-formatting program.
167: .X2
168: .XX trofftut 223 troff/tut.ms "A Troff Tutorial"
169: B. W. Kernighan.
170: .X1
171: An introduction to
172: .I troff
173: for those who
174: really want to know such things.
175: .X2
176: .XX monk 239 monk/monk.m "Typing Documents on the UNIX System: Using Monk 0.6"
177: S. L. Murrel and
178: T.\ J.\ Kowalski.
179: .X1
180: How to format documents with
181: .I troff
182: without ever writing
183: .I troff
184: code.
185: .X2
186: .XX latex 259 latex/latex.tex "Latex User Guide"
187: H. Trickey.
188: .X1
189: Local variations to the Latex book.
190: .X2
191: .X3
192: .SH
193: Programming
194: .XX mk 269 mk/mk.ms "Mk \(em A Successor to Make"
195: A. G. Hume.
196: .X1
197: The best tool for making sure that large programs
198: are properly compiled with minimal effort.
199: .X2
200: .XX rc 283 rc/rc.ms "Rc \(em A Shell for Plan 9 and UNIX"
201: T. Duff.
202: .X1
203: The next stage in symbolic shells.
204: .X2
205: .XX snocone 297 snocone/snocone.ms "The Snocone Programming Language"
206: A. Koenig.
207: .X1
208: A
209: .SM SNOBOL
210: with syntactic sugar.
211: .X2
212: .XX f77 311 f77/f77.ms "A Portable Fortran 77 Compiler"
213: S. I. Feldman and P. J. Weinberger.
214: .X1
215: Details about the local Fortran.
216: .X2
217: .XX cin 325 cin/cin.m "The C Interpreter: A Tutorial for Cin Version 0.18"
218: T. J. Kowalski,
219: H. H. Goguen, and
220: J.\ J.\ Puttress.
221: .X1
222: A surprisingly effective approach to C.
223: Interpreted code can be combined with compiled code for both flexibility
224: and speed.
225: .X2
226: .XX pi 335 pi/feel.ms "The Feel of Pi"
227: T. A. Cargill.
228: .X1
229: How to use an amazing multi-window debugger for C programs.
230: .X2
231: .X3
232: .SH
233: Supporting Tools and Languages
234: .XX yacc 347 yacc/yacc.ms "Yacc: A Parser Generator"
235: S. C. Johnson and
236: R. Sethi.
237: .X1
238: Converts a BNF specification of a language
239: and semantic actions written in C into a compiler for the language.
240: .X2
241: .XX lex 375 lex/lex.ms "Lex \(em A Lexical Analyzer Generator"
242: M. E. Lesk and E. Schmidt.
243: .X1
244: Creates a recognizer for a set of regular expressions;
245: each regular expression can be followed by arbitrary C code
246: which will be executed when the regular expression is found.
247: .X2
248: .XX sed 389 sed/sed.ms "Sed \(em A Non-interactive Text Editor"
249: L. E. McMahon.
250: .X1
251: A variant of the editor for hands-off processing
252: in a single pass.
253: .X2
254: .XX sam 399 sam/sam.ms "The Text Editor Sam"
255: R. Pike.
256: .X1
257: The design and use of a remarkable programmable editor with a slick mouse interface.
258: .X2
259: .XX pico 423 pico/pico.ms "Pico \(em A Language For Composing Digital Images"
260: G. J. Holzmann.
261: .X1
262: A sophisticated, programmable transformer of digitized pictures.
263: .X2
264: .XX spin 429 spin/spin.ms "Spin \(em A Protocol Analyzer"
265: G. J. Holzmann.
266: .X1
267: A small and powerful tool for the analysis of distributed systems.
268: .X2
269: .XX anim 451 anim/anim.ms "A System for Algorithm Animation"
270: J. L. Bentley and
271: B. W. Kernighan.
272: .X1
273: A system for displaying data that varies over time.
274: Outputs include an interactive viewer and snapshots
275: for inclusion in a
276: .I troff
277: document.
278: .X2
279: .XX music 477 music/music.ms "Computer Music Under the 10th Edition UNIX System"
280: T. J. Killian.
281: .X1
282: Programs that convert
283: .SM ASCII
284: to audio.
285: .X2
286: .XX raster 483 graphics/cmd.ms "The 10th Edition Raster Graphics System"
287: T. Duff.
288: .X1
289: How to make, process, and display high quality color images.
290: .X2
291: .X3
292: .SH
293: Implementation and Maintenance
294: .XX setup 497 setup/setup.ms "Setting Up a Research UNIX System"
295: N. Wilson.
296: .X1
297: How to configure your system and get it running.
298: .X2
299: .XX streams 503 streams/streams.ms "A Stream Input-Output System"
300: D. M. Ritchie.
301: .X1
302: The way data is passed among processes and communication devices.
303: .X2
304: .XX netb 513 netb/netb.ms "A Look at the Ninth Edition Network File System"
305: S. A. Rago.
306: .X1
307: Details of the current network file system protocol for Research
308: .UX .
309: .X2
310: .XX ipc 523 ipc/ipc.ms "Interprocess Communication" " in the Ninth Edition UNIX System"
311: D. L. Presotto and
312: D.\ M.\ Ritchie.
313: .X1
314: A description of the current IPC system;
315: both the underlying system primitives
316: and the user-level code.
317: .X2
318: .XX authmgr 531 auth/auth.ms "Authmgr \(em An Authentication Service for Datakit"
319: D. Cohrs.
320: .X1
321: A Datakit service for authenticating users.
322: .X2
323: .XX security 543 security/security.ms "UNIX System Security"
324: F. T. Grampp and
325: R. H. Morris.
326: .X1
327: How the bad guys can get you if you don't watch out.
328: .X2
329: .XX upas 557 upas/upas.ms "Upas \(em A Simpler Approach to Network Mail"
330: D. L. Presotto and
331: W. R. Cheswick.
332: .X1
333: How the mail system is organized and how it deals
334: with networks.
335: .X2
336: .XX uucp 563 uucp/admin.ms "Uucp Administration"
337: D. A. Nowitz.
338: .X1
339: How
340: .I uucp
341: works, and how to administer it.
342: .X2
343: .XX fsck 581 fsck/fsck.m "Fsck \(em The UNIX File System Check Program"
344: T. J. Kowalski.
345: .X1
346: Semi-automatic diagnosis and repair of
347: .UX
348: file systems.
349: .X2
350: .XX backup 593 fm/fm.ms "The File Motel: An Owner's Manual"
351: A. G. Hume.
352: .X1
353: The design and maintenance of the 10th Edition incremental file backup system.
354: .X2
355: .XX lp 603 lp/lp.ms "A Guide to the Lp Printer Spooler"
356: P. Glick.
357: .X1
358: The intricacies of running your printers.
359: .X2
360: .SP
361: .XX index 609 index/index.ms "Index"
362: L. L. Cherry.
363: .X1
364: An almost mechanically generated index.
365: .X2
366: .BP
367: photo page with lee macmahons picture
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.