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