rwxr-xr-x 4273/0      0 Feb 10 23:58 1994 doc/
rw-r--r-- 4273/0 132276 Aug  9 22:12 1993 doc/iclp93.ps
rw-r--r-- 4273/0 955977 Aug  9 22:12 1993 doc/INRIA_RR_1831_93.ps
rw-r--r-- 4273/0 667102 Feb 10 23:48 1994 doc/manual.ps