greg [Fri, 18 Sep 2009 14:58:22 +0200] rev 391
fix runtime.py filename case to avoid problem on multi-platform
greg [Fri, 18 Sep 2009 14:30:57 +0200] rev 390
Fix defaults compiler and linker names for win32
laurent [Fri, 04 Sep 2009 11:24:25 +0200] rev 389
Bug wrong control state while refreshing interface fixed