| Wed, 02 Apr 1997 15:24:42 +0200 | paulson | DEEPEN now takes an upper bound for terminating searches | file | diff | annotate |
| Fri, 21 Feb 1997 15:31:47 +0100 | paulson | Replaced "flat" by the Basis Library function List.concat | file | diff | annotate |
| Fri, 01 Nov 1996 15:15:39 +0100 | paulson | Replaced min by Int.min | file | diff | annotate |
| Mon, 18 Mar 1996 13:42:35 +0100 | paulson | New file containing search tacticals | file | diff | annotate |