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