rwxr-xr-x 102/10 0 Jun 10 12:07 1993 ftpsrc/ rw-r--r-- 102/10 1895 May 18 09:18 1993 ftpsrc/CHANGES rw-r--r-- 102/10 2089 May 18 14:53 1993 ftpsrc/COPYRIGHT rw-r--r-- 102/10 1667 May 18 09:18 1993 ftpsrc/Makefile rw-r--r-- 102/10 1158 Jun 10 11:50 1993 ftpsrc/ReleaseNotes rw-r--r-- 102/10 15997 May 18 09:18 1993 ftpsrc/USERGUIDE rw-r--r-- 102/10 48 May 18 09:18 1993 ftpsrc/bp.bat rw-r--r-- 102/10 80663 Jun 10 12:07 1993 ftpsrc/wam.mbp rw-r--r-- 102/10 6506 May 18 14:48 1993 ftpsrc/Multi-BinProlog rwxr-xr-x 102/10 0 Jun 9 12:20 1993 ftpsrc/bprogs/ rw-r--r-- 102/10 793 May 21 22:29 1993 ftpsrc/bprogs/bbuffer.pl rw-r--r-- 102/10 998 May 21 22:30 1993 ftpsrc/bprogs/putgeta.pl rw-r--r-- 102/10 438 May 21 22:30 1993 ftpsrc/bprogs/lazy.pl rw-r--r-- 102/10 1805 May 21 22:30 1993 ftpsrc/bprogs/brev.pl rwxr-xr-x 102/10 0 Jun 10 11:58 1993 ftpsrc/progs/ rw-r--r-- 102/10 88 Jun 10 11:58 1993 ftpsrc/progs/BUGS rw-r--r-- 102/10 714 Jun 10 11:58 1993 ftpsrc/progs/INDEX rw-r--r-- 102/10 46 Jun 10 11:58 1993 ftpsrc/progs/README rw-r--r-- 102/10 1262 Jun 10 11:58 1993 ftpsrc/progs/allperms.pl rw-r--r-- 102/10 1250 Jun 10 11:58 1993 ftpsrc/progs/bbq8.pl rw-r--r-- 102/10 1851 Jun 10 11:58 1993 ftpsrc/progs/bfmeta.pl rw-r--r-- 102/10 2900 Jun 10 11:58 1993 ftpsrc/progs/cal.pl rw-r--r-- 102/10 24559 Jun 10 11:58 1993 ftpsrc/progs/chat.pl rw-r--r-- 102/10 6228 Jun 10 11:58 1993 ftpsrc/progs/choice.pl rw-r--r-- 102/10 1210 Jun 10 11:58 1993 ftpsrc/progs/cnrev.pl rw-r--r-- 102/10 2143 Jun 10 11:58 1993 ftpsrc/progs/cube.pl rw-r--r-- 102/10 1733 Jun 10 11:58 1993 ftpsrc/progs/differen.pl rw-r--r-- 102/10 2909 Jun 10 11:58 1993 ftpsrc/progs/fcal.pl rw-r--r-- 102/10 570 Jun 10 11:58 1993 ftpsrc/progs/fibo.pl rw-r--r-- 102/10 1014 Jun 10 11:58 1993 ftpsrc/progs/fknight.pl rw-r--r-- 102/10 54 Jun 10 11:58 1993 ftpsrc/progs/hello.pl rw-r--r-- 102/10 1329 Jun 10 11:58 1993 ftpsrc/progs/knight.pl rw-r--r-- 102/10 991 Jun 10 11:58 1993 ftpsrc/progs/lfibo.pl rw-r--r-- 102/10 939 Jun 10 11:58 1993 ftpsrc/progs/lknight.pl rw-r--r-- 102/10 686 Jun 10 11:58 1993 ftpsrc/progs/ltak.pl rw-r--r-- 102/10 754 Jun 10 11:58 1993 ftpsrc/progs/maxlist.pl rw-r--r-- 102/10 1201 Jun 10 11:58 1993 ftpsrc/progs/nrev.pl rw-r--r-- 102/10 1201 Jun 10 11:58 1993 ftpsrc/progs/nrev30.pl rw-r--r-- 102/10 4955 Jun 10 11:58 1993 ftpsrc/progs/or.pl rw-r--r-- 102/10 2623 Jun 10 11:58 1993 ftpsrc/progs/puzzle.pl rw-r--r-- 102/10 1231 Jun 10 11:58 1993 ftpsrc/progs/qrev.pl rw-r--r-- 102/10 480 Jun 10 11:58 1993 ftpsrc/progs/qvroy.pl rwxr-xr-x 102/10 494 Jun 10 11:58 1993 ftpsrc/progs/sics_bm rw-r--r-- 102/10 662 Jun 10 11:58 1993 ftpsrc/progs/subset.pl rw-r--r-- 102/10 7129 Jun 10 11:58 1993 ftpsrc/progs/tetris.pl rwxr-xr-x 102/10 500 Jun 10 11:58 1993 ftpsrc/progs/xsbp rwxr-xr-x 102/10 122880 Jun 10 12:06 1993 ftpsrc/ru rw-r--r-- 102/10 25853 Jun 10 12:06 1993 ftpsrc/co.pl rw-r--r-- 102/10 7354 Jun 10 12:06 1993 ftpsrc/dcg.pl rw-r--r-- 102/10 3231 Jun 10 12:06 1993 ftpsrc/ext.pl rw-r--r-- 102/10 22070 Jun 10 12:06 1993 ftpsrc/extra.pl rw-r--r-- 102/10 1746 Jun 10 12:06 1993 ftpsrc/headers.pl rw-r--r-- 102/10 2842 Jun 10 12:06 1993 ftpsrc/io.pl rw-r--r-- 102/10 5552 Jun 10 12:06 1993 ftpsrc/lib.pl rw-r--r-- 102/10 335 Jun 10 12:06 1993 ftpsrc/other.pl rw-r--r-- 102/10 2980 Jun 10 12:06 1993 ftpsrc/top.pl