K 10 svn:author V 5 markm K 8 svn:date V 27 1995-11-12T19:29:08.000000Z K 7 svn:log V 66 Removed reference to missing mp.h in comment. We have GNU MP now. END