![[TXT]](../../../../../../.misc/text.gif){kind=small}
1035 1979-03-12 bt ASCII text file 18790 1979-03-12 edit ASCII text file 1896 1986-02-28 hack ASCII text file 785 1979-03-12 mi.tec ASCII text file 6620 1979-03-12 saux ASCII text file 316 1986-02-28 svlisp ASCII text file 3796 1979-03-12 trace ASCII text file
