../ batch.zip 27-Oct-2024 19:41 2240 doc_dvi.zip 27-Oct-2024 19:41 256932 doc_tex.zip 27-Oct-2024 19:41 187720 inrsinpu.zip 27-Oct-2024 19:41 33913 inrstex.zip 27-Oct-2024 19:41 110879 readme.txt 27-Oct-2024 19:41 10203 texgraph.zip 27-Oct-2024 19:41 184639