Name Last modified Size Description Parent Directory - 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 texmin-0.1.README 1993-05-12 06:00 1.9K texmin-0.1.tar.z 1993-05-12 06:00 1.8M