rwxr-xr-x 4273/0      0 Jun  9 23:48 1994 fixedps/
rw-r--r-- 4273/0 1199563 Jun  9 23:47 1994 fixedps/UserguideI.ps
rw-r--r-- 4273/0 1195603 Jun  9 23:48 1994 fixedps/UserguideII.ps
rw-r--r-- 4273/0 1261586 Jun  9 23:45 1994 fixedps/CLIPS_RefI.ps
rw-r--r-- 4273/0 1019143 Jun  9 23:46 1994 fixedps/CLIPS_RefII.ps
rw-r--r-- 4273/0   1113 Mar  9 22:19 1994 fixedps/README
rw-r--r-- 4273/0 579903 Jun  9 23:46 1994 fixedps/CLIPS_RefIII.ps