Name Last modified Size Description![[PARENTDIR]](/icons/back.gif){kind=icon}
Parent Directory -
![[ ]](/icons/unknown.gif){kind=icon}
diffs 1996-08-14 21:00 9.0K
![[CMP]](/icons/compressed.gif){kind=icon}
part1.gz 1996-08-14 21:00 21K
part2.gz 1996-08-14 21:00 20K
part3.gz 1996-08-14 21:00 18K
part4.gz 1996-08-14 21:00 21K
part5.gz 1996-08-14 21:00 7.8K
part6.gz 1996-08-14 21:00 9.6K
part7.gz 1996-08-14 21:00 12K
part8.gz 1996-08-14 21:00 9.7K
part9.gz 1996-08-14 21:00 8.4K
part10 1996-08-14 21:00 3.1K
part11 1996-08-14 21:00 7.9K
part12.gz 1996-08-14 21:00 7.0K
part13 1996-08-14 21:00 14K
part14 1996-08-14 21:00 6.0K
part15 1996-08-14 21:00 10K
part16.gz 1996-08-14 21:00 8.3K
part17.gz 1996-08-14 21:00 10K
metafont-list.gz 1997-07-24 21:00 12K