rwxrwxr-x 13/13      0 Mar 13 11:48 1988 xproof/
rwxrwxr-x 13/13      0 Dec  1 14:33 1987 xproof/font/
rw-rw-r-- 13/13   2759 Apr 30 04:52 1987 xproof/font/README
r--rw-r-- 13/13   1178 Apr 30 02:41 1987 xproof/font/I6.onx
r--rw-r-- 13/13   2106 Apr 30 02:41 1987 xproof/font/I10.onx
r--rw-r-- 13/13   1218 Apr 30 02:41 1987 xproof/font/B6.onx
r--rw-r-- 13/13   2202 Apr 30 02:41 1987 xproof/font/B10.onx
r--rw-r-- 13/13   2704 Apr 30 02:41 1987 xproof/font/I12.onx
r--rw-r-- 13/13   2818 Apr 30 02:41 1987 xproof/font/B12.onx
r--rw-r-- 13/13   2308 Apr 30 02:41 1987 xproof/font/B8.onx
r--rw-r-- 13/13    748 Apr 30 02:41 1987 xproof/font/SS8.onx
r--rw-r-- 13/13    692 Apr 30 02:41 1987 xproof/font/SS10.onx
r--rw-r-- 13/13    602 Apr 30 02:41 1987 xproof/font/SS6.onx
r--rw-r-- 13/13    762 Apr 30 02:41 1987 xproof/font/SS12.onx
r--rw-r-- 13/13    826 Apr 30 02:41 1987 xproof/font/SS14.onx
r--rw-r-- 13/13    578 Apr 30 02:41 1987 xproof/font/SS4.onx
r--rw-r-- 13/13   1708 Apr 30 02:41 1987 xproof/font/I8.onx
r--rw-r-- 13/13    902 Apr 30 02:41 1987 xproof/font/R4.onx
r--rw-r-- 13/13   1218 Apr 30 02:41 1987 xproof/font/R5.onx
r--rw-r-- 13/13   1218 Apr 30 02:41 1987 xproof/font/R6.onx
r--rw-r-- 13/13   2124 Apr 30 02:41 1987 xproof/font/R7.onx
r--rw-r-- 13/13   2124 Apr 30 02:41 1987 xproof/font/R8.onx
r--rw-r-- 13/13   1738 Apr 30 02:41 1987 xproof/font/R9.onx
r--rw-r-- 13/13   1946 Apr 30 02:41 1987 xproof/font/R10.onx
r--rw-r-- 13/13   2442 Apr 30 02:41 1987 xproof/font/R11.onx
r--rw-r-- 13/13   2590 Apr 30 02:41 1987 xproof/font/R12.onx
r--rw-r-- 13/13   3310 Apr 30 02:41 1987 xproof/font/R14.onx
r--rw-r-- 13/13   4138 Apr 30 02:41 1987 xproof/font/R16.onx
r--rw-r-- 13/13   5018 Apr 30 02:41 1987 xproof/font/R18.onx
r--rw-r-- 13/13   5938 Apr 30 02:41 1987 xproof/font/R20.onx
r--rw-r-- 13/13   7006 Apr 30 02:41 1987 xproof/font/R22.onx
r--rw-r-- 13/13   8234 Apr 30 02:41 1987 xproof/font/R24.onx
r--rw-r-- 13/13   1130 Apr 30 02:41 1987 xproof/font/S4.onx
r--rw-r-- 13/13   1738 Apr 30 02:41 1987 xproof/font/S6.onx
r--rw-r-- 13/13   2398 Apr 30 02:41 1987 xproof/font/S8.onx
r--rw-r-- 13/13   3130 Apr 30 02:41 1987 xproof/font/S10.onx
r--rw-r-- 13/13   3818 Apr 30 02:41 1987 xproof/font/S11.onx
r--rw-r-- 13/13   4278 Apr 30 02:41 1987 xproof/font/S12.onx
rwxrwxr-x 13/13      0 Dec  1 12:06 1987 xproof/RCS.xproof/
rw-rw-r-- 13/13    605 Apr 30 04:25 1987 xproof/Makefile
rw-rw-r-- 13/13   1226 Apr  1 23:15 1987 xproof/dev.h
rw-rw-r-- 13/13  16744 Apr  1 23:15 1987 xproof/draw.c
rw-rw-r-- 13/13   4080 Apr  1 23:15 1987 xproof/proof.1
rw-rw-r-- 13/13  45220 Apr  1 23:15 1987 xproof/proof.c
rw-rw-r-- 13/13   3945 Apr  1 23:15 1987 xproof/proof.h
rw-rw-r-- 13/13    178 Apr  1 23:18 1987 xproof/made
rw-rw-r-- 13/13    753 Apr  1 22:28 1987 xproof/README
rw-rw-r--1433/13  38221 Dec 29 02:44 1987 xproof/sun.xproof
rw-rw-r-- 13/13  12221 Nov 21 06:49 1987 xproof/proof.dit