rwxr-xr-x 4273/0      0 Feb  9 22:22 1994 doc/
rw-r--r-- 4273/0  11633 Feb  9 22:22 1994 doc/QUICK
rw-r--r-- 4273/0    528 Feb  9 22:22 1994 doc/README
rw-r--r-- 4273/0   2425 Feb  9 22:22 1994 doc/bug_report_form
rwxr-xr-x 4273/0      0 Feb  9 22:46 1994 doc/dvi/
rw-r--r-- 1918/0 146408 Feb  9 22:22 1994 doc/dvi/advanced.dvi
rw-r--r-- 1918/0  21893 Feb  9 22:23 1994 doc/dvi/arg.ps
rw-r--r-- 1918/0 1619680 Feb  9 22:26 1994 doc/dvi/bipbook.dvi
rw-r--r-- 1918/0   6418 Feb  9 22:26 1994 doc/dvi/boxmodel.ps
rw-r--r-- 1918/0  25418 Feb  9 22:26 1994 doc/dvi/ecrclogo.ps
rw-r--r-- 1918/0 542650 Feb  9 22:28 1994 doc/dvi/extensions-manual.ps
rw-r--r-- 1918/0 409008 Feb  9 22:29 1994 doc/dvi/kegi-manual.dvi
rw-r--r-- 1918/0 153036 Feb  9 22:29 1994 doc/dvi/knowledge-base-manual.dvi
rw-r--r-- 1918/0 335776 Feb  9 22:31 1994 doc/dvi/knowledge-base-manual.ps
rw-r--r-- 1918/0 448988 Feb  9 22:32 1994 doc/dvi/opium-manual.dvi
rw-r--r-- 1918/0 845348 Feb  9 22:33 1994 doc/dvi/opium-manual.ps
rw-r--r-- 1918/0  36664 Feb  9 22:33 1994 doc/dvi/paddy.dvi
rw-r--r-- 1918/0  25028 Feb  9 22:34 1994 doc/dvi/panel.ps
rw-r--r-- 1918/0  16895 Feb  9 22:34 1994 doc/dvi/sepiapic.ps
rw-r--r-- 1918/0 903300 Feb  9 22:36 1994 doc/dvi/user-manual.dvi
rw-r--r-- 1918/0 1698397 Feb  9 22:40 1994 doc/dvi/user-manual.ps
rw-r--r-- 1918/0   1751 Feb  9 22:22 1994 doc/dvi/ICLlogo.ps
rw-r--r-- 1918/0 197684 Feb  9 22:27 1994 doc/dvi/extensions-manual.dvi