Index of /systems/knuth/local/etc

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory - [TXT] texwarext.h 2000-05-01 04:06 156 [TXT] dvityext.h 2000-05-01 04:22 478 [   ] Makefile 2000-05-01 04:22 1.0K [   ] vptovf.ch 2000-05-01 04:06 3.4K [   ] vftovp.ch 2000-05-01 04:19 7.2K [TXT] vftovp.p 2000-05-01 04:22 45K [TXT] vptovf.p 2000-05-01 04:06 64K [TXT] addencodings.pl 2020-03-03 01:44 185K