/ClassBrowser.sc/1.2/Thu Sep 23 01:21:28 2004//
/ColorPlusGUI.sc/1.1/Mon Jul 28 21:54:30 2003//
/KernelPlusGUI.sc/1.4/Wed Sep 22 02:02:09 2004//
/NilPlusGUI.sc/1.2/Wed May  5 13:54:37 2004//
/ObjectPlusGUI.sc/1.1/Mon Jul 28 21:54:30 2003//
D
