Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at 131.188.12.211 Port 80
Parent Directory - various.fig 1994-05-31 02:00 2.6K tidied.fig 1994-06-04 02:00 2.2K mfpic.tex 1993-10-11 01:00 11K graphbase.mf 1994-06-16 02:00 23K fig2mfpic.c 1994-06-16 02:00 51K TODO 1994-06-15 02:00 386 README 1994-06-16 02:00 2.8K Makefile 1994-06-09 02:00 296