Design by contract: Revision history

9 February 2005

• curprev 14:2814:28, 9 February 2005 193.249.76.100 talk 5,536 bytes +79 →SPARK undo

22 January 2005

• curprev 17:4817:48, 22 January 2005 Marco Krohn talk contribs m 5,457 bytes −1 →SPARK: typo undo

21 January 2005

• curprev 18:5718:57, 21 January 2005 Krischik talk contribs 5,458 bytes +56 more on SPARK undo
• curprev 18:4718:47, 21 January 2005 Krischik talk contribs 5,402 bytes −4,307 No edit summary undo
• curprev 18:3418:34, 21 January 2005 Krischik talk contribs 9,709 bytes +4,744 →See also undo
• curprev 18:3318:33, 21 January 2005 Krischik talk contribs 4,965 bytes 0 →See also undo
• curprev 18:3118:31, 21 January 2005 Krischik talk contribs 4,965 bytes +98 →See also undo

2 November 2004

• curprev 11:2311:23, 2 November 2004 Charles Matthews talk contribs m 4,867 bytes +29 pipe lk undo

1 October 2004

• curprev 11:5911:59, 1 October 2004 194.51.20.124 talk 4,838 bytes −20 No edit summary undo
• curprev 11:5611:56, 1 October 2004 194.51.20.123 talk 4,858 bytes +10 No edit summary undo
• curprev 11:5411:54, 1 October 2004 194.51.20.124 talk 4,848 bytes +10 No edit summary undo

27 September 2004

• curprev 01:2501:25, 27 September 2004 209.90.162.108 talk 4,838 bytes 0 shortcut Abstract data types -> Abstract data type undo

8 September 2004

• curprev 17:0717:07, 8 September 2004 Atcack talk contribs m 4,838 bytes +33 trademark DbC harder undo
• curprev 16:5716:57, 8 September 2004 Atcack talk contribs m 4,805 bytes +8 trademark undo

26 August 2004

• curprev 20:0120:01, 26 August 2004 Leibniz talk contribs 4,797 bytes +61 No edit summary undo

11 August 2004

• curprev 15:2915:29, 11 August 2004 Frecklefoot talk contribs 4,736 bytes +1 fixed format undo

20 July 2004

• curprev 20:5320:53, 20 July 2004 24.16.52.122 talk 4,735 bytes −1 No edit summary undo
• curprev 20:5320:53, 20 July 2004 24.16.52.122 talk 4,736 bytes +44 No edit summary undo

13 April 2004

• curprev 13:1813:18, 13 April 2004 217.207.61.34 talk 4,692 bytes +4 No edit summary undo

18 February 2004

• curprev 14:1114:11, 18 February 2004 163.195.192.13 talk 4,688 bytes 0 No edit summary undo

6 January 2004

• curprev 12:5712:57, 6 January 2004 200.248.41.130 talk 4,688 bytes −9 No edit summary undo
• curprev 12:5712:57, 6 January 2004 200.248.41.130 talk 4,697 bytes +9 No edit summary undo

3 January 2004

• curprev 12:5812:58, 3 January 2004 Doradus talk contribs 4,688 bytes −292 Remove unintelligible text obviously written by The Architect from "The Matrix Reloaded" undo

2 January 2004

• curprev 22:2022:20, 2 January 2004 213.122.133.3 talk 4,980 bytes +292 No edit summary undo

23 December 2003

• curprev 21:3121:31, 23 December 2003 Doradus talk contribs 4,688 bytes −157 Oops, how did that get in there... undo
• curprev 21:3021:30, 23 December 2003 Doradus talk contribs 4,845 bytes −700 Much reworking undo

22 December 2003

• curprev 16:3216:32, 22 December 2003 213.122.54.213 talk 5,545 bytes +132 No edit summary undo
• curprev 16:3016:30, 22 December 2003 213.122.54.213 talk 5,413 bytes −585 No edit summary undo
• curprev 13:0913:09, 22 December 2003 200.43.130.96 talk 5,998 bytes +845 No edit summary undo
• curprev 13:0813:08, 22 December 2003 200.43.130.96 talk 5,153 bytes +6 No edit summary undo
• curprev 13:0813:08, 22 December 2003 200.43.130.96 talk 5,147 bytes −5 No edit summary undo

10 December 2003

• curprev 00:0400:04, 10 December 2003 Wikibot talk contribs m 5,152 bytes −1 robot interwiki standardization undo

9 November 2003

• curprev 15:4215:42, 9 November 2003 Doradus talk contribs m 5,153 bytes −2 Revert unnecessary ellipsis undo

7 November 2003

• curprev 06:4706:47, 7 November 2003 218.106.186.66 talk 5,155 bytes +2 No edit summary undo

5 November 2003

• curprev 09:4609:46, 5 November 2003 Traroth talk contribs 5,153 bytes +36 fr: undo

12 July 2003

• curprev 14:5414:54, 12 July 2003 Doradus talk contribs 5,117 bytes −463 Moved one meta-comment into the Talk article undo
• curprev 14:4614:46, 12 July 2003 Doradus talk contribs 5,580 bytes +845 Added to DBC criticisms, and added some meta-comments on existing text undo

17 March 2003

• curprev 23:5123:51, 17 March 2003 Michael Hardy talk contribs m 4,735 bytes 0 No edit summary undo

13 February 2003

• curprev 15:2015:20, 13 February 2003 217.37.214.121 talk 4,735 bytes +34 * Hoare logic undo

25 January 2003

• curprev 00:2200:22, 25 January 2003 142.177.93.97 talk 4,701 bytes +690 criticism undo
• curprev 00:1400:14, 25 January 2003 Ap talk contribs 4,011 bytes −119 merging undo

24 January 2003

• curprev 23:1123:11, 24 January 2003 213.253.39.176 talk 4,130 bytes +2,489 brute force append: needs merging, copyediting undo

26 November 2002

• curprev 03:3503:35, 26 November 2002 RTC talk contribs m 1,641 bytes +19 fix link undo

20 September 2002

• curprev 15:2415:24, 20 September 2002 The Anome talk contribs 1,622 bytes +124 The contracts for a module can also be regarded as a form of software documentation for the behavior of that module. undo

27 February 2002

• curprev 01:0201:02, 27 February 2002 Darius Bacon talk contribs 1,498 bytes +47 more precise defs of test types undo
• curprev 00:5600:56, 27 February 2002 Darius Bacon talk contribs 1,451 bytes +469 added the central relation between preconditions and postconditions undo

25 February 2002

• curprev 15:5115:51, 25 February 2002 62.47.178.155 talk 982 bytes −1 No edit summary undo

22 February 2002

• curprev 10:0510:05, 22 February 2002 62.47.178.155 talk 983 bytes +29 No edit summary undo
• curprev 10:0510:05, 22 February 2002 Mav talk contribs m 954 bytes +6 added bold undo

15 February 2002

• curprev 18:1718:17, 15 February 2002 Rizniz talk contribs m 948 bytes +948 No edit summary