![[TXT]](../../../../.misc/text.gif){kind=small}
878 1986-05-23 Makefile make file 907 1986-04-15 Refs ASCII text file 547 1986-04-15 Refs.ig ASCII text file 1622 1986-05-23 p0 ASCII text file 2609 1986-05-23 p1 ASCII text file 8012 1986-05-23 p2 ASCII text file 6218 1986-05-23 p3 ASCII text file 1837 1986-05-23 p4 ASCII text file 12128 1986-05-23 p5 ASCII text file 5185 1986-05-23 p6 ASCII text file 594 1986-05-23 p7 ASCII text file
