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