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