Proof: Revision history

1 June 2012

• curprev 07:2007:20, 1 June 2012‎ rosettacode>Ht‎ m 18,720 bytes 0‎ No edit summary
• curprev 07:1807:18, 1 June 2012‎ rosettacode>Ht‎ 18,720 bytes +966‎ update the task and agda example

31 May 2012

• curprev 13:3213:32, 31 May 2012‎ Rdm talk contribs‎ m 17,754 bytes +319‎ →‎{{header|J}}
• curprev 13:2813:28, 31 May 2012‎ Rdm talk contribs‎ m 17,435 bytes +85‎ →‎{{header|J}}
• curprev 13:2613:26, 31 May 2012‎ Rdm talk contribs‎ 17,350 bytes +496‎ J: update to track the most recent change to the task requirements
• curprev 02:5802:58, 31 May 2012‎ rosettacode>Ht‎ 16,854 bytes +1,239‎ update Haskell example
• curprev 02:5302:53, 31 May 2012‎ rosettacode>Ht‎ m 15,615 bytes +10‎ No edit summary

30 May 2012

• curprev 11:1311:13, 30 May 2012‎ rosettacode>Ht‎ m 15,605 bytes 0‎ No edit summary
• curprev 11:1211:12, 30 May 2012‎ rosettacode>Ht‎ m 15,605 bytes +83‎ No edit summary
• curprev 11:0611:06, 30 May 2012‎ rosettacode>Ht‎ 15,522 bytes +2,741‎ update the task and agda example

28 May 2012

• curprev 14:5114:51, 28 May 2012‎ Rdm talk contribs‎ m 12,781 bytes +17‎ →‎{{header|J}}
• curprev 14:4614:46, 28 May 2012‎ Rdm talk contribs‎ m 12,764 bytes −165‎ J: simplify
• curprev 14:0814:08, 28 May 2012‎ Rdm talk contribs‎ m 12,929 bytes −11‎ →‎{{header|J}}
• curprev 14:0414:04, 28 May 2012‎ Rdm talk contribs‎ m 12,940 bytes 0‎ J: better constraint on language supported by induction
• curprev 13:5513:55, 28 May 2012‎ Rdm talk contribs‎ m 12,940 bytes +4‎ →‎{{header|J}}
• curprev 13:5413:54, 28 May 2012‎ Rdm talk contribs‎ 12,936 bytes +90‎ →‎{{header|J}}
• curprev 13:5113:51, 28 May 2012‎ Rdm talk contribs‎ m 12,846 bytes −1‎ →‎{{header|J}}
• curprev 13:4313:43, 28 May 2012‎ Rdm talk contribs‎ m 12,847 bytes +20‎ →‎{{header|J}}
• curprev 13:3913:39, 28 May 2012‎ Rdm talk contribs‎ 12,827 bytes +1,066‎ →‎{{header|J}}

14 May 2012

• curprev 13:1213:12, 14 May 2012‎ rosettacode>Ruud Koot‎ 11,761 bytes −326‎ Undo revision 136707 by Rdm (talk): wrong! (see talk)
• curprev 13:0813:08, 14 May 2012‎ Rdm talk contribs‎ 12,087 bytes +326‎ redo change which (a) is an accurate description of any implementation, and (b) was removed without any descriptive rationale -- please do not revert without justification
• curprev 12:5412:54, 14 May 2012‎ rosettacode>Ruud Koot‎ 11,761 bytes −326‎ Undo revision 136702 by Rdm (talk): wrong...
• curprev 12:2012:20, 14 May 2012‎ Rdm talk contribs‎ 12,087 bytes +326‎ Explicitly describe limitation of proof

13 May 2012

• curprev 22:5122:51, 13 May 2012‎ rosettacode>Ht‎ 11,761 bytes +18‎ No edit summary
• curprev 20:5120:51, 13 May 2012‎ Rdm talk contribs‎ 11,743 bytes +176‎ →‎{{header|J}}
• curprev 20:4920:49, 13 May 2012‎ Rdm talk contribs‎ m 11,567 bytes +73‎ →‎{{header|J}}
• curprev 20:3520:35, 13 May 2012‎ Rdm talk contribs‎ 11,494 bytes +15‎ →‎{{header|J}}
• curprev 20:3520:35, 13 May 2012‎ Rdm talk contribs‎ 11,479 bytes +62‎ →‎{{header|J}}
• curprev 20:3420:34, 13 May 2012‎ Rdm talk contribs‎ 11,417 bytes +116‎ →‎{{header|J}}
• curprev 20:0920:09, 13 May 2012‎ Rdm talk contribs‎ 11,301 bytes −208‎ →‎{{header|J}}

12 May 2012

• curprev 17:2017:20, 12 May 2012‎ Sonia talk contribs‎ 11,509 bytes +6‎ draft status
• curprev 11:1811:18, 12 May 2012‎ rosettacode>Ht‎ 11,503 bytes +1‎ No edit summary
• curprev 11:0711:07, 12 May 2012‎ rosettacode>Ht‎ 11,502 bytes +1,504‎ No edit summary
• curprev 08:0708:07, 12 May 2012‎ rosettacode>Ht‎ 9,998 bytes +1,676‎ No edit summary
• curprev 02:4702:47, 12 May 2012‎ rosettacode>Ht‎ 8,322 bytes +477‎ No edit summary

10 May 2012

• curprev 13:4513:45, 10 May 2012‎ Rdm talk contribs‎ m 7,845 bytes −23‎ refer to a different instance of De Millo's pdf
• curprev 13:3913:39, 10 May 2012‎ Rdm talk contribs‎ 7,868 bytes +63‎ expand url
• curprev 13:1913:19, 10 May 2012‎ rosettacode>Ht‎ 7,805 bytes +317‎ No edit summary

7 April 2012

• curprev 07:4207:42, 7 April 2012‎ rosettacode>Calebegg‎ 7,488 bytes +111‎ No edit summary

13 December 2011

• curprev 00:0900:09, 13 December 2011‎ Sonia talk contribs‎ 7,377 bytes −4,516‎ clean up incorrect tag

5 November 2011

• curprev 08:4808:48, 5 November 2011‎ rosettacode>ChrisWilson‎ m 11,893 bytes −12‎ I fixed a typo in the Salmon code and removed an unused label.
• curprev 08:4508:45, 5 November 2011‎ rosettacode>ChrisWilson‎ 11,905 bytes +1,203‎ I added Salmon code.

27 August 2011

• curprev 03:0303:03, 27 August 2011‎ Rdm talk contribs‎ 10,702 bytes +448‎ J

26 August 2011

• curprev 06:1606:16, 26 August 2011‎ rosettacode>NevilleDNZ‎ m 10,254 bytes +6‎ Added a new task category: Logic

22 August 2011

• curprev 13:2713:27, 22 August 2011‎ rosettacode>Ruud Koot‎ 10,248 bytes +311‎ note

9 August 2011

• curprev 20:4320:43, 9 August 2011‎ rosettacode>Kevin Reid‎ 9,937 bytes +25‎ omit JavaScript

13 July 2011

• curprev 15:2815:28, 13 July 2011‎ rosettacode>Markhobley‎ 9,912 bytes +20‎ {{omit from|PureBasic}}

21 June 2011

• curprev 22:4822:48, 21 June 2011‎ rosettacode>Ledrug‎ 9,892 bytes +61‎ →‎{{header|Go}}: I'm pretty sure it's wrong now

20 February 2011

• curprev 13:3013:30, 20 February 2011‎ Sonia talk contribs‎ 9,831 bytes +4,472‎ Go solution

3 December 2010

• curprev 19:0919:09, 3 December 2010‎ MikeMol talk contribs‎ 5,359 bytes −7,147‎ Use lang tags for all of these.