| Tue, 26 Nov 1996 15:59:28 +0100 | paulson | New material from Norbert Voelker for efficient binary comparisons | file | diff | annotate |
| Tue, 30 Jul 1996 17:33:26 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
| Fri, 29 Mar 1996 13:18:26 +0100 | paulson | Binary integers and their numeric syntax | file | diff | annotate |