/unixdis.cc/1.13/Mon Nov 10 15:15:07 2003//
/unixkey.cc/1.11/Wed Nov  5 16:41:50 2003//
/unixmouse.cc/1.14/Wed Nov  5 16:41:50 2003//
/unixscr.cc/1.28/Tue Dec  2 14:51:15 2003//
/xtermdis.cc/1.20/Fri Oct  8 15:05:02 2004//
/xtermkey.cc/1.12/Thu Sep 30 20:55:36 2004//
/xtermmouse.cc/1.2/Mon Jul  1 12:38:13 2002//
/xtermscr.cc/1.28/Tue Dec  2 14:51:15 2003//
D