Prepare to move Mike Thomas' OpenGL library to mltonlib ---------------------------------------------------------------------- A mltonlib/trunk/org/mlton/mike/ A mltonlib/trunk/org/mlton/mike/opengl/ ----------------------------------------------------------------------