![[TXT]](../../../.misc/text.gif){kind=small}
22520 1979-01-10 intro ASCII text file 73084 1979-01-10 permindex ASCII text file 834 1979-01-10 pref ASCII text file 252 1979-01-10 ptxmac ASCII text file 360 1979-01-19 title ASCII text file 109 1979-01-10 xx ASCII text file
