Author: bcpierce Date: 2006-06-14 21:37:15 -0400 (Wed, 14 Jun 2006) New Revision: 165 Modified: trunk/src/RECENTNEWS trunk/src/mkProjectInfo.ml Log: * Restored UISTYLE=gtk build option and uigtk.ml module (which ARE apparently still very much used!)