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