panne 2002/06/03 11:30:46 PDT Modified files: libraries/GLUT/Graphics/UI/GLUT Initialization.hs Log: Markup improvement Revision Changes Path 1.7 +2 -2 fptools/libraries/GLUT/Graphics/UI/GLUT/Initialization.hs