/* Return the copyright string.  This is updated manually. */

const char *
getcopyright()
{
	return "Copyright 1991-1995 Stichting Mathematisch Centrum, Amsterdam";
}