| Wed, 25 Nov 1998 13:57:44 +0100 | wenzelm | replaced prs by writeln; | file | diff | annotate |
| Fri, 23 Oct 1998 20:34:59 +0200 | oheimb | added SOLVE tactical | file | diff | annotate |
| Tue, 20 Oct 1998 16:33:47 +0200 | wenzelm | QUIET_BREADTH_FIRST; | file | diff | annotate |
| Fri, 21 Nov 1997 15:27:43 +0100 | wenzelm | changed Sequence interface (now Seq, in seq.ML); | file | diff | annotate |
| Tue, 22 Jul 1997 11:14:18 +0200 | paulson | Removal of the tactical STATE | file | diff | annotate |
| 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 |