Name Last modified Size Description
![[DIR]](/icons/back.gif){kind=icon}
Parent Directory 02-Dec-2002 16:39 -
![[ ]](/icons/compressed.gif){kind=icon}
batch.zip 27-Aug-1992 00:00 2k
![[TXT]](/icons/text.gif){kind=icon}
readme.txt 27-Aug-1992 00:00 10k
inrsinpu.zip 27-Aug-1992 00:00 33k
inrstex.zip 27-Aug-1992 00:00 108k
texgraph.zip 27-Aug-1992 00:00 180k
doc_tex.zip 27-Aug-1992 00:00 183k
doc_dvi.zip 27-Aug-1992 00:00 251k