![[TXT]](../../../../.misc/text.gif){kind=small}
2238 1983-07-29 0.t nroff/troff source 2709 1983-07-29 1.t nroff/troff source 1749 1983-07-30 2.t nroff/troff source 230 1983-07-29 3.0.t nroff/troff source 8991 1983-07-30 3.1.t nroff/troff source 11644 1983-09-14 3.2.t nroff/troff source 990 1983-07-29 3.3.t nroff/troff source 5849 1983-07-30 3.4.t nroff/troff source 3798 1983-09-14 3.5.t nroff/troff source 1073 1983-07-30 3.6.t nroff/troff source 3147 1983-09-14 4.t nroff/troff source
