Proof: Revision history

18 February 2010

• curprev 18:0518:05, 18 February 2010‎ Underscore talk contribs‎ 12,441 bytes +48‎ Added link to Proof/Haskell.

21 November 2009

• curprev 21:0521:05, 21 November 2009‎ rosettacode>Kevin Reid‎ 12,393 bytes +2,225‎ Undo revision 68255 by 83.104.248.190 (Talk) — reverting same edit for same reason, see changes on Nov 5
• curprev 20:5820:58, 21 November 2009‎ 83.104.248.190 talk‎ 10,168 bytes −13‎ No edit summary
• curprev 20:5020:50, 21 November 2009‎ 83.104.248.190 talk‎ 10,181 bytes −2,225‎ →‎{{header|Tcl}}

20 November 2009

• curprev 16:5116:51, 20 November 2009‎ Underscore talk contribs‎ m 12,406 bytes 0‎ moved Evens Sum To Even to Proof: I think "Proof" does a much better job of communicating the point of this task, namely, proving a simple theorem.
• curprev 16:4916:49, 20 November 2009‎ Underscore talk contribs‎ 12,406 bytes +130‎ Undid UnderBot's edit.
• curprev 01:5801:58, 20 November 2009‎ rosettacode>UnderBot‎ m 12,276 bytes −130‎ Fixed lang tags.

5 November 2009

• curprev 21:0821:08, 5 November 2009‎ rosettacode>Kevin Reid‎ 12,406 bytes +2,225‎ Undo Tcl deletion by 83.104.248.190 — no justification given, did not save it elsewhere or discuss deletion.
• curprev 20:1220:12, 5 November 2009‎ 83.104.248.190 talk‎ 10,181 bytes −2,225‎ →‎{{header|Tcl}}

9 September 2009

• curprev 00:3300:33, 9 September 2009‎ rosettacode>Rpk‎ 12,406 bytes +17‎ omit m4

7 September 2009

• curprev 02:5202:52, 7 September 2009‎ Rdm talk contribs‎ 12,389 bytes +132‎ eliminated potential silliness having to do with arithmetic overflow.

15 August 2009

• curprev 02:0002:00, 15 August 2009‎ rosettacode>Blue Prawn‎ 12,257 bytes +20‎ omit OCaml

3 August 2009

• curprev 18:3718:37, 3 August 2009‎ rosettacode>Kevin Reid‎ 12,237 bytes +4‎ markup
• curprev 15:1215:12, 3 August 2009‎ rosettacode>Dkf‎ m 12,233 bytes +342‎ →‎{{header|Tcl}}: Show the output
• curprev 15:0915:09, 3 August 2009‎ rosettacode>Dkf‎ 11,891 bytes +17‎ →‎{{header|Tcl}}: Slightly clearer version
• curprev 13:3013:30, 3 August 2009‎ rosettacode>Dkf‎ m 11,874 bytes +8‎ →‎{{header|Tcl}}: typo
• curprev 13:2913:29, 3 August 2009‎ rosettacode>Dkf‎ m 11,866 bytes −1‎ whitespace
• curprev 13:2813:28, 3 August 2009‎ rosettacode>Dkf‎ m 11,867 bytes 0‎ Alphabetize the solutions
• curprev 13:2713:27, 3 August 2009‎ rosettacode>Dkf‎ 11,867 bytes +1,752‎ →‎Tcl: Added implementation

4 July 2009

• curprev 13:2313:23, 4 July 2009‎ rosettacode>Kevin Reid‎ 10,115 bytes +17‎ omit E; I want to tackle this sometime but it's not worth leaving on the main list
• curprev 12:0512:05, 4 July 2009‎ Ce talk contribs‎ m 10,098 bytes +18‎ omit from C++
• curprev 11:2311:23, 4 July 2009‎ rosettacode>ShinTakezou‎ m 10,080 bytes +129‎ several omit from

12 June 2009

• curprev 14:5314:53, 12 June 2009‎ rosettacode>Paddy3118‎ 9,951 bytes +21‎ Omit Python
• curprev 13:3313:33, 12 June 2009‎ rosettacode>Mwn3d‎ m 9,930 bytes +19‎ I'm 99% sure Java couldn't (and shouldn't) do things like this
• curprev 13:2713:27, 12 June 2009‎ rosettacode>Glennj‎ m 9,911 bytes +47‎ omit Ruby

14 May 2009

• curprev 23:5123:51, 14 May 2009‎ rosettacode>NevilleDNZ‎ m 9,864 bytes +108‎ ALGOL 68: might be possible, but would require a complex library like Maple, not sure.

13 May 2009

• curprev 09:3409:34, 13 May 2009‎ rosettacode>Dkf‎ 9,756 bytes +101‎ Tcl doesn't do formal proofs

4 April 2009

• curprev 18:2218:22, 4 April 2009‎ rosettacode>GiM‎ m 9,655 bytes +18‎ -D : this isn't task for imperative or OO languages

10 August 2008

• curprev 20:1820:18, 10 August 2008‎ 83.104.248.190 talk‎ 9,637 bytes +5,076‎ No edit summary

16 March 2008

• curprev 18:3118:31, 16 March 2008‎ rosettacode>Mwn3d‎ 4,561 bytes −122‎ Undo revision 14326 by Sparre (Talk) Just use GeSHi highlighting
• curprev 11:5011:50, 16 March 2008‎ rosettacode>Sparre‎ 4,683 bytes +133‎ Pretty-printed the Ada source.
• curprev 11:4411:44, 16 March 2008‎ rosettacode>Sparre‎ 4,550 bytes −243‎ Simplified the Ada source code.

12 March 2008

• curprev 17:0817:08, 12 March 2008‎ rosettacode>IanOsgood‎ 4,793 bytes −4‎ →‎{{header|Agda2}}
• curprev 01:5701:57, 12 March 2008‎ MikeMol talk contribs‎ m 4,797 bytes 0‎ Alphabetized
• curprev 01:5201:52, 12 March 2008‎ MikeMol talk contribs‎ m 4,797 bytes −4‎ →‎{{header|Twelf}}: Syntax highliter doesn't support twelf
• curprev 01:5101:51, 12 March 2008‎ MikeMol talk contribs‎ m 4,801 bytes 0‎ →‎{{header|Coq}}: syntax highliter doesn't default to <pre>. Oops!
• curprev 01:5001:50, 12 March 2008‎ MikeMol talk contribs‎ m 4,801 bytes −2,560‎ Removed explicit syntax highlighting from Twelf
• curprev 01:4801:48, 12 March 2008‎ MikeMol talk contribs‎ m 7,361 bytes −3,712‎ Removed explicit syntax highlighting from Agda2
• curprev 01:4601:46, 12 March 2008‎ MikeMol talk contribs‎ m 11,073 bytes −916‎ Removed explicit syntax highlighting from Coq

19 February 2008

• curprev 16:0816:08, 19 February 2008‎ rosettacode>Mwn3d‎ 11,989 bytes −39‎ Task description goes at the top, examples go below it....no examples heading necessary

6 January 2008

• curprev 02:1602:16, 6 January 2008‎ 68.193.145.148 talk‎ 12,028 bytes −22‎ →‎Examples
• curprev 01:5601:56, 6 January 2008‎ 68.193.145.148 talk‎ 12,050 bytes +6‎ →‎{{header|Omega}}
• curprev 01:5501:55, 6 January 2008‎ 68.193.145.148 talk‎ 12,044 bytes +34‎ →‎Examples
• curprev 01:5101:51, 6 January 2008‎ 68.193.145.148 talk‎ 12,010 bytes +288‎ →‎Examples

22 December 2007

• curprev 05:0105:01, 22 December 2007‎ rosettacode>Waldorf‎ m 11,722 bytes 0‎ →‎{{header|Ada}}: Corrected typo
• curprev 05:0105:01, 22 December 2007‎ rosettacode>Waldorf‎ m 11,722 bytes +42‎ →‎{{header|Ada}}: Added short description of Natural
• curprev 04:5904:59, 22 December 2007‎ rosettacode>Waldorf‎ 11,680 bytes +2,310‎ →‎Examples: Added Ada

21 December 2007

• curprev 21:0021:00, 21 December 2007‎ Epsilon talk contribs‎ 9,370 bytes +3,494‎ Added twelf example
• curprev 20:5420:54, 21 December 2007‎ Epsilon talk contribs‎ 5,876 bytes +4,149‎ Added Agda2 example
• curprev 20:4920:49, 21 December 2007‎ Epsilon talk contribs‎ 1,727 bytes +1,727‎ Initial upload.