Wed, 25 Feb 1998 20:29:58 +0100 | oheimb | renamed rep_claset to rep_cs | file | diff | annotate |
Fri, 19 Dec 1997 10:13:47 +0100 | wenzelm | adapted to new sort function; | file | diff | annotate |
Mon, 29 Jan 1996 13:58:15 +0100 | clasohm | expanded tabs | file | diff | annotate |
Tue, 12 Jul 1994 18:30:53 +0200 | lcp | chain_tac: deleted; just use etac mp | file | diff | annotate |
Thu, 16 Sep 1993 12:20:38 +0200 | clasohm | Initial revision | file | diff | annotate |