../ Makefile 01-May-2000 02:22 989 addencodings.pl 20-Nov-2024 19:35 189707 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 45985 vptovf.ch 01-May-2000 02:06 3464 vptovf.p 01-May-2000 02:06 65865