K 10 svn:author V 3 max K 8 svn:date V 27 1997-06-16T06:38:05.000000Z K 7 svn:log V 172 Patch up screen.texinfo and added @direntry. I really couldn't appropriate category for this file, so I didn't define it and, thus, now this file goes under misc category. END