![[TXT]](../../../../../.misc/text.gif){kind=small}
1035 1979-03-12 bt ASCII text file 18790 1979-03-12 edit ASCII text file 1879 1979-03-12 hack ASCII text file 785 1979-03-12 mi.tec ASCII text file 6620 1979-03-12 saux ASCII text file 324 1981-04-03 svlisp ASCII text file 3796 1979-03-12 trace ASCII text file
