Name Last modified Size Description Parent Directory - texmin-0.1.tar.z 1993-05-12 06:00 1.8M texmin-0.1.README 1993-05-12 06:00 1.9K 00_index.txt 1995-09-11 01:43 82 00_index.html 1995-09-11 03:07 552 a minimal X distribution to allow .tex printing