Current Developments: Revision history

18 March 2014

• curprev 16:3516:35, 18 March 2014‎ imported>Laurent‎ 12,478 bytes +203‎ →‎Core Platform
• curprev 16:0716:07, 18 March 2014‎ imported>Laurent‎ 12,275 bytes −237‎ →‎SMT Plug-in
• curprev 16:0616:06, 18 March 2014‎ imported>Laurent‎ 12,512 bytes −243‎ →‎Core Platform

20 November 2013

• curprev 11:0511:05, 20 November 2013‎ imported>Laurent‎ 12,755 bytes +140‎ →‎Rodin 3.0

26 February 2013

• curprev 11:4511:45, 26 February 2013‎ imported>Laurent‎ 12,615 bytes −744‎ Move more tasks to past development
• curprev 11:3611:36, 26 February 2013‎ imported>Laurent‎ 13,359 bytes −1,815‎ Moved old tasks to Past development
• curprev 11:3411:34, 26 February 2013‎ imported>Laurent‎ 15,174 bytes −305‎ Move Event-B editor from current dev to past dev

21 July 2012

• curprev 13:5613:56, 21 July 2012‎ imported>Laurent‎ m 15,479 bytes +15‎ →‎Current Tasks
• curprev 13:5513:55, 21 July 2012‎ imported>Laurent‎ 15,464 bytes +103‎ →‎Core Platform: Rodin 3.0
• curprev 13:5213:52, 21 July 2012‎ imported>Laurent‎ m 15,361 bytes +1‎ No edit summary

16 December 2011

• curprev 17:0417:04, 16 December 2011‎ imported>Laurent‎ 15,360 bytes +493‎ →‎Core Platform: added Views Based on the Current Proof Tree Node

27 October 2011

• curprev 10:1610:16, 27 October 2011‎ imported>Ladenberger‎ 14,867 bytes +58‎ →‎Preferences for the automatic tactics

31 March 2011

• curprev 13:5313:53, 31 March 2011‎ imported>Laurent‎ 14,809 bytes +364‎ →‎Core Platform: Added Extending the Refine/Extend actions
• curprev 13:4413:44, 31 March 2011‎ imported>Laurent‎ 14,445 bytes −1,026‎ →‎Deploy Tasks: Moved completed items for the core platform
• curprev 12:1012:10, 31 March 2011‎ imported>Laurent‎ m 15,471 bytes 0‎ →‎AnimB
• curprev 12:0912:09, 31 March 2011‎ imported>Laurent‎ m 15,471 bytes 0‎ →‎Template Base Exporter

26 January 2011

• curprev 17:0217:02, 26 January 2011‎ imported>YGU‎ m 15,471 bytes +2‎ →‎SMT Plug-in

13 December 2010

• curprev 11:3011:30, 13 December 2010‎ imported>Andy‎ 15,469 bytes +61‎ →‎Code Generation
• curprev 11:2911:29, 13 December 2010‎ imported>Andy‎ 15,408 bytes +30‎ →‎Code Generation
• curprev 11:2811:28, 13 December 2010‎ imported>Andy‎ 15,378 bytes −30‎ →‎Code Generation
• curprev 11:2711:27, 13 December 2010‎ imported>Andy‎ 15,408 bytes +104‎ →‎Code Generation

6 December 2010

• curprev 09:0109:01, 6 December 2010‎ imported>YGU‎ 15,304 bytes −53‎ →‎From Event-B lemmas to SMT-LIB benchmarks

21 April 2010

• curprev 09:5409:54, 21 April 2010‎ imported>Laurent‎ m 15,357 bytes +186‎ →‎Mathematical Language
• curprev 09:4609:46, 21 April 2010‎ imported>Laurent‎ m 15,171 bytes +30‎ →‎Mathematical Language
• curprev 09:3909:39, 21 April 2010‎ imported>Laurent‎ 15,141 bytes +34‎ →‎Mathematical Language

26 March 2010

• curprev 16:0416:04, 26 March 2010‎ imported>Son‎ m 15,107 bytes −45‎ →‎Generic Instantiation
• curprev 16:0316:03, 26 March 2010‎ imported>Son‎ m 15,152 bytes 0‎ →‎Machine Instantiation

15 March 2010

• curprev 12:1412:14, 15 March 2010‎ imported>Colin‎ 15,152 bytes −229‎ →‎Team-Based Development

5 March 2010

• curprev 16:3716:37, 5 March 2010‎ imported>Colin‎ 15,381 bytes +79‎ →‎Team-Based Development

11 January 2010

• curprev 14:4714:47, 11 January 2010‎ imported>WikiSysop‎ 15,302 bytes +1‎ →‎Rule-based Extensible Prover
• curprev 14:4614:46, 11 January 2010‎ imported>WikiSysop‎ 15,301 bytes +43‎ →‎Rule-based Extensible Prover

7 December 2009

• curprev 14:0714:07, 7 December 2009‎ imported>Tommy‎ 15,258 bytes +10‎ →‎Mathematical Language

4 December 2009

• curprev 11:2211:22, 4 December 2009‎ imported>Alexili‎ 15,248 bytes +57‎ No edit summary
• curprev 09:4609:46, 4 December 2009‎ imported>Alexili‎ m 15,191 bytes 0‎ No edit summary
• curprev 09:4509:45, 4 December 2009‎ imported>Alexili‎ 15,191 bytes +785‎ No edit summary

3 December 2009

• curprev 09:5209:52, 3 December 2009‎ imported>Tommy‎ 14,406 bytes +55‎ →‎Mathematical Language

21 October 2009

• curprev 13:2313:23, 21 October 2009‎ imported>Colin‎ 14,351 bytes −78‎ →‎Team-Based Development

12 October 2009

• curprev 12:4912:49, 12 October 2009‎ imported>Nicolas‎ m 14,429 bytes +267‎ →‎Core Platform: added Generated Model Elements

2 October 2009

• curprev 14:3714:37, 2 October 2009‎ imported>Pascal‎ 14,162 bytes −1‎ →‎Wishlist
• curprev 12:5112:51, 2 October 2009‎ imported>Pascal‎ 14,163 bytes +128‎ →‎Wishlist

25 September 2009

• curprev 16:5716:57, 25 September 2009‎ imported>Colin‎ 14,035 bytes +3‎ →‎Team-Based Development
• curprev 16:5716:57, 25 September 2009‎ imported>Colin‎ 14,032 bytes −1‎ →‎Team-Based Development
• curprev 16:5616:56, 25 September 2009‎ imported>Colin‎ 14,033 bytes +274‎ →‎Team-Based Development

10 September 2009

• curprev 09:5309:53, 10 September 2009‎ imported>Nicolas‎ m 13,759 bytes +344‎ →‎Core Platform: Added 'New Tactic Providers'
• curprev 09:3809:38, 10 September 2009‎ imported>Colin‎ 13,415 bytes +31‎ →‎Team-Based Development
• curprev 09:3709:37, 10 September 2009‎ imported>Colin‎ 13,384 bytes +642‎ →‎Team-Based Development

25 August 2009

• curprev 07:5307:53, 25 August 2009‎ imported>Pascal‎ 12,742 bytes +288‎ →‎Plug-ins
• curprev 07:4307:43, 25 August 2009‎ imported>Pascal‎ 12,454 bytes 0‎ No edit summary
• curprev 07:3807:38, 25 August 2009‎ imported>Pascal‎ 12,454 bytes +10‎ →‎Event Model Decomposition (A-style)
• curprev 07:3707:37, 25 August 2009‎ imported>Pascal‎ 12,444 bytes +10‎ →‎Event Model Decomposition