../ batch.zip 16-May-2024 19:37 2240 doc_dvi.zip 16-May-2024 19:37 256932 doc_tex.zip 16-May-2024 19:37 187720 inrsinpu.zip 16-May-2024 19:37 33913 inrstex.zip 16-May-2024 19:37 110879 readme.txt 16-May-2024 19:37 10203 texgraph.zip 16-May-2024 19:37 184639