Wed, 12 Feb 1997 15:42:31 +0100 | wenzelm | tuned names: partial order, linear order; | file | diff | annotate |
Fri, 02 Aug 1996 12:25:26 +0200 | berghofe | Classical tactics now use default claset. | file | diff | annotate |
Tue, 30 Jan 1996 15:24:36 +0100 | clasohm | expanded tabs | file | diff | annotate |
Mon, 15 Jan 1996 15:49:21 +0100 | wenzelm | added this stuff; | file | diff | annotate |