May 13, 2010
3:29 p.m.
11359 ----- Issue 2428: #reverse should not be deprecated for the sake of ANSI compatibility Issue 2425: fix two Undeclards in TextEditor Issue 2427: restart all running methods -- Marcus Denker -- http://www.marcusdenker.de INRIA Lille -- Nord Europe. Team RMoD.