Cheddar-1.3p0

[anonymous]

• Remove some GTK Warning displayed with the win32 binary.
• Fix many mmi bugs and strange behavior of the mmi.
• Fix a BUFFER_NOT_FOUND exception on buffer update widget.
• Change the way some float data are displayed on the mmi.
• Response time on fixed priority schedulers was erronous when blocking time was greater than zero.
• Fix bugs on duplicate function.
• Fix EMPTY_SET exception on Delete processor with no task.
• Fix some numeric stability computation errors.
• Fix some errors on buffer bound computation.
• Fix some typo errors in the graphical editor label widgets.