Records Extension: Revision history

21 July 2010

• curprev 13:0713:07, 21 July 2010‎ imported>Vitaly‎ 8,388 bytes −56‎ →‎Proving With Records

20 July 2010

• curprev 13:2013:20, 20 July 2010‎ imported>Vitaly‎ 8,444 bytes +78‎ →‎Proving With Records

19 July 2010

• curprev 10:3510:35, 19 July 2010‎ imported>Vitaly‎ 8,366 bytes +2,008‎ No edit summary

28 April 2010

• curprev 13:2813:28, 28 April 2010‎ imported>Colin‎ 6,358 bytes +55‎ →‎Usage
• curprev 13:1913:19, 28 April 2010‎ imported>Colin‎ 6,303 bytes +3‎ →‎Semantics of Records
• curprev 13:1913:19, 28 April 2010‎ imported>Colin‎ 6,300 bytes 0‎ →‎Semantics of Records
• curprev 13:1713:17, 28 April 2010‎ imported>Colin‎ 6,300 bytes +238‎ →‎Semantics of Records

18 March 2010

• curprev 13:1513:15, 18 March 2010‎ imported>Colin‎ 6,062 bytes +106‎ →‎Current Limitations

22 February 2010

• curprev 15:1515:15, 22 February 2010‎ imported>Colin‎ 5,956 bytes +3‎ →‎Current Limitations

19 February 2010

• curprev 19:0319:03, 19 February 2010‎ imported>Colin‎ 5,953 bytes +702‎ →‎Usage
• curprev 18:3918:39, 19 February 2010‎ imported>Colin‎ 5,251 bytes +108‎ →‎Current Limitations
• curprev 18:2618:26, 19 February 2010‎ imported>Colin‎ 5,143 bytes +77‎ →‎Current Limitations
• curprev 18:2418:24, 19 February 2010‎ imported>Colin‎ 5,066 bytes +18‎ No edit summary
• curprev 18:2318:23, 19 February 2010‎ imported>Colin‎ 5,048 bytes −18,075‎ No edit summary
• curprev 18:2218:22, 19 February 2010‎ imported>Colin‎ 23,123 bytes +12‎ →‎Current Limitations
• curprev 18:1718:17, 19 February 2010‎ imported>Colin‎ 23,111 bytes +1,610‎ →‎Semantics of Records
• curprev 18:0718:07, 19 February 2010‎ imported>Colin‎ 21,501 bytes +128‎ →‎Semantics of Records
• curprev 18:0618:06, 19 February 2010‎ imported>Colin‎ 21,373 bytes 0‎ →‎Semantics of Records
• curprev 18:0518:05, 19 February 2010‎ imported>Colin‎ 21,373 bytes +20‎ →‎Semantics of Records
• curprev 18:0418:04, 19 February 2010‎ imported>Colin‎ 21,353 bytes −1‎ →‎Introduction
• curprev 18:0418:04, 19 February 2010‎ imported>Colin‎ 21,354 bytes −49‎ →‎Introduction
• curprev 17:5917:59, 19 February 2010‎ imported>Colin‎ 21,403 bytes +1,301‎ →‎Editor extensions

7 January 2010

• curprev 14:4614:46, 7 January 2010‎ imported>Colin‎ 20,102 bytes +115‎ →‎Semantics of Records
• curprev 14:1414:14, 7 January 2010‎ imported>Colin‎ 19,987 bytes −6‎ →‎Editor extensions
• curprev 13:5713:57, 7 January 2010‎ imported>Colin‎ 19,993 bytes −42‎ →‎Modelling with the Records Extension
• curprev 13:5213:52, 7 January 2010‎ imported>Colin‎ 20,035 bytes +1,638‎ No edit summary
• curprev 13:2513:25, 7 January 2010‎ imported>Colin‎ 18,397 bytes +18,397‎ New page: ==Modelling with the Records Extension== This page is under development. It is intended to be a user oriented manual for using records in Event-B. This page is derived from the [[Struct...