krasimir 2002/08/03 05:33:33 PDT Removed files: libraries/ObjectIO/Graphics/UI/ObjectIO/OS MenuCrossCall_12.hs Log: MenuCrossCall_12 no more needed