Mathematical Language Evolution Design: Revision history

11 May 2009

• curprev 09:4009:40, 11 May 2009‎ imported>Nicolas‎ m 14,145 bytes +731‎ →‎Changes to client code

23 April 2009

• curprev 15:4015:40, 23 April 2009‎ imported>Laurent‎ m 13,414 bytes 0‎ →‎Changes to client code
• curprev 15:3815:38, 23 April 2009‎ imported>Laurent‎ m 13,414 bytes 0‎ →‎Upgrade
• curprev 15:3515:35, 23 April 2009‎ imported>Laurent‎ m 13,414 bytes +4‎ →‎Upgrade

20 April 2009

• curprev 13:0113:01, 20 April 2009‎ imported>Nicolas‎ m 13,410 bytes +655‎ →‎Sequent Prover
• curprev 12:4012:40, 20 April 2009‎ imported>Nicolas‎ m 12,755 bytes +1,552‎ →‎Upgrade
• curprev 10:3710:37, 20 April 2009‎ imported>Nicolas‎ m 11,203 bytes +98‎ →‎Upgrade
• curprev 10:3510:35, 20 April 2009‎ imported>Nicolas‎ m 11,105 bytes +388‎ →‎Not upgradable cases
• curprev 10:1010:10, 20 April 2009‎ imported>Nicolas‎ m 10,717 bytes +1,200‎ →‎Upgrade

17 April 2009

• curprev 17:0117:01, 17 April 2009‎ imported>Nicolas‎ m 9,517 bytes +487‎ →‎Typing generic operators
• curprev 16:0216:02, 17 April 2009‎ imported>Nicolas‎ m 9,030 bytes +830‎ →‎Detecting missing parentheses
• curprev 15:1915:19, 17 April 2009‎ imported>Nicolas‎ m 8,200 bytes +2,513‎ →‎Upgrade
• curprev 13:4913:49, 17 April 2009‎ imported>Nicolas‎ m 5,687 bytes +10‎ →‎Parser Changes
• curprev 13:1413:14, 17 April 2009‎ imported>Nicolas‎ m 5,677 bytes −6‎ →‎Sequent Prover
• curprev 13:1413:14, 17 April 2009‎ imported>Nicolas‎ m 5,683 bytes −36‎ →‎Affected client code
• curprev 13:1413:14, 17 April 2009‎ imported>Nicolas‎ 5,719 bytes −24‎ →‎Upgrade
• curprev 13:1313:13, 17 April 2009‎ imported>Nicolas‎ m 5,743 bytes +899‎ →‎Syntax Tree

6 April 2009

• curprev 14:0614:06, 6 April 2009‎ imported>Mathieu‎ m 4,844 bytes +42‎ categorization

1 April 2009

• curprev 12:4512:45, 1 April 2009‎ imported>Laurent‎ 4,802 bytes +111‎ →‎Introduction: Added link to spec page
• curprev 12:3812:38, 1 April 2009‎ imported>Laurent‎ m 4,691 bytes +24‎ →‎Parser Changes
• curprev 09:1809:18, 1 April 2009‎ imported>Nicolas‎ m 4,667 bytes +2,323‎ No edit summary
• curprev 07:4807:48, 1 April 2009‎ imported>Nicolas‎ m 2,344 bytes −198‎ →‎Parsing

25 March 2009

• curprev 13:1513:15, 25 March 2009‎ imported>Nicolas‎ m 2,542 bytes +35‎ →‎Parser Changes
• curprev 13:1313:13, 25 March 2009‎ imported>Nicolas‎ m 2,507 bytes +8‎ →‎Multiple Predicates / Partition
• curprev 11:0711:07, 25 March 2009‎ imported>Nicolas‎ m 2,499 bytes +392‎ →‎Parser Changes

23 March 2009

• curprev 08:3708:37, 23 March 2009‎ imported>Mathieu‎ m 2,107 bytes +3‎ →‎Visitors

20 March 2009

• curprev 11:1011:10, 20 March 2009‎ imported>Nicolas‎ m 2,104 bytes +2,104‎ New page: == Introduction == This document describes the modifications that occur to the Event-B mathematical language from the developer point of view. The old language will still be recognized, i...