/* Return the copyright string. This is updated manually. */
const char *
getcopyright()
{
return "Copyright 1991-1995 Stichting Mathematisch Centrum, Amsterdam";
}