Index of /systems/knuth/local/etc/


../
Makefile                                           01-May-2000 02:22                 989
addencodings.pl                                    03-Mar-2020 00:44              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