../ Makefile 01-May-2000 02:22 989 addencodings.pl 03-Mar-2020 00:44 185K dvityext.h 01-May-2000 02:22 478 texwarext.h 01-May-2000 02:06 156 vftovp.ch 01-May-2000 02:19 7390 vftovp.p 01-May-2000 02:22 45K vptovf.ch 01-May-2000 02:06 3464 vptovf.p 01-May-2000 02:06 64K