Template:Dev News: Revision history

25 August 2009

• curprev 07:4707:47, 25 August 2009‎ imported>Mathieu‎ m 4,064 bytes +141‎ New extensible plug-ins] org.rodinp.keyboard and org.eventb.keyboard

12 August 2009

• curprev 11:4911:49, 12 August 2009‎ imported>Mathieu‎ m 3,923 bytes −1,593‎ 1.0.0 release + some archive
• curprev 11:0211:02, 12 August 2009‎ imported>Mathieu‎ m 5,516 bytes +1,494‎ some recent changes added

5 June 2009

• curprev 08:3308:33, 5 June 2009‎ imported>Nicolas‎ m 4,022 bytes −1‎ changed https to http
• curprev 08:3108:31, 5 June 2009‎ imported>Nicolas‎ 4,023 bytes +162‎ No edit summary

12 April 2009

• curprev 20:1220:12, 12 April 2009‎ imported>Mathieu‎ m 3,861 bytes +393‎ No edit summary

6 April 2009

• curprev 14:0214:02, 6 April 2009‎ imported>Mathieu‎ m 3,468 bytes +95‎ link
• curprev 14:0114:01, 6 April 2009‎ imported>Mathieu‎ m 3,373 bytes +343‎ 04/04/09: Major update implementing the mathematical language V2, while retaining full backward compatibility. New plug-in version is 1.0.0.
• curprev 13:5713:57, 6 April 2009‎ imported>Mathieu‎ m 3,030 bytes +77‎ Archives + # 02/04/09: Fix Event-B editor dead slow Bug # 02/04/09: Fix Silent formula normalization in event-B editor Bug # 02/04/09: Fix Having space in Rodin path will fail AtelierB Provers Bug

31 March 2009

• curprev 12:5812:58, 31 March 2009‎ imported>Mathieu‎ m 2,953 bytes +207‎ 31/03/09: Fix Indexer forget some elements bug
• curprev 11:4211:42, 31 March 2009‎ imported>Mathieu‎ m 2,746 bytes +146‎ 29/03/09: Fix StackTrace when launching AnimB bug
• curprev 11:3811:38, 31 March 2009‎ imported>Mathieu‎ m 2,600 bytes +221‎ 28/03/09: Fix Prove Interactively switches to event-B perspective bug

25 March 2009

• curprev 12:0312:03, 25 March 2009‎ imported>Mathieu‎ m 2,379 bytes +188‎ Fix bad simplification bug

18 March 2009

• curprev 07:3707:37, 18 March 2009‎ imported>Mathieu‎ m 2,191 bytes −152‎ Fix illegal character not reported bug

17 March 2009

• curprev 09:1109:11, 17 March 2009‎ imported>Mathieu‎ m 2,343 bytes +388‎ # 18/03/09: First version of auto completion core algorithm # 17/03/09: Fix I can’t copy and paste text to the comment box in the front bug

16 March 2009

• curprev 08:3908:39, 16 March 2009‎ imported>Mathieu‎ m 1,955 bytes +46‎ * 15/09/09: Switch from CVS to Subversion

10 March 2009

• curprev 20:1320:13, 10 March 2009‎ imported>Mathieu‎ m 1,909 bytes +154‎ interruption of build process hangs.

9 March 2009

• curprev 11:0111:01, 9 March 2009‎ imported>Mathieu‎ m 1,755 bytes −693‎ * 09/03/09: [http://sourceforge.net/tracker2/?func=detail&atid=651669&aid=2646260&group_id=108850 Fix bug] Platform blocked on cyclic refinement.

5 March 2009

• curprev 23:5623:56, 5 March 2009‎ imported>Kriangsak‎ 2,448 bytes +92‎ →‎Displayed as follow on the Main Page

3 March 2009

• curprev 22:5022:50, 3 March 2009‎ imported>Christophe‎ 2,356 bytes +72‎ →‎Displayed as follow on the Main Page

2 March 2009

• curprev 17:5817:58, 2 March 2009‎ imported>Mathieu‎ m 2,284 bytes +155‎ →‎Displayed as follow on the Main Page

27 February 2009

• curprev 17:3917:39, 27 February 2009‎ imported>Mathieu‎ m 2,129 bytes +165‎ No edit summary
• curprev 10:3710:37, 27 February 2009‎ imported>Mathieu‎ m 1,964 bytes +143‎ etter double click selection in proof view

26 February 2009

• curprev 18:5618:56, 26 February 2009‎ imported>Jens‎ 1,821 bytes +58‎ No edit summary
• curprev 18:2818:28, 26 February 2009‎ imported>Mathieu‎ m 1,763 bytes +45‎ No edit summary
• curprev 18:2118:21, 26 February 2009‎ imported>Mathieu‎ m 1,718 bytes +67‎ No edit summary
• curprev 08:1008:10, 26 February 2009‎ imported>Mathieu‎ m 1,651 bytes +137‎ No edit summary

25 February 2009

• curprev 10:3610:36, 25 February 2009‎ imported>Mathieu‎ m 1,514 bytes +22‎ No edit summary
• curprev 10:3110:31, 25 February 2009‎ imported>Mathieu‎ m 1,492 bytes +90‎ No edit summary

24 February 2009

• curprev 17:0817:08, 24 February 2009‎ imported>Mathieu‎ m 1,402 bytes +78‎ No edit summary
• curprev 09:2709:27, 24 February 2009‎ imported>Mathieu‎ m 1,324 bytes +272‎ Add some implemented feature requests
• curprev 09:1909:19, 24 February 2009‎ imported>Mathieu‎ m 1,052 bytes +1,052‎ new page