Program derivation: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 03:0803:08, 27 June 2023 Yonkeltron talk contribs m 3,233 bytes +168 Adding link to P. undo Tags: Visual edit Mobile edit Mobile web edit

curprev 10:0410:04, 13 December 2018 Larry Hockett talk contribs m 3,065 bytes −171 Reverted edits by 50.84.251.202 (talk) to last version by Jarble Tag: Rollback
curprev 10:0410:04, 13 December 2018 50.84.251.202 talk 3,236 bytes +171 →See also

curprev 21:1921:19, 31 July 2018 Jarble talk contribs 3,065 bytes +24 →See also undo

curprev 02:5502:55, 6 October 2017 Jarble talk contribs m 3,041 bytes +28 →See also: Program derivation is one method of automatic programming. undo

curprev 20:0120:01, 4 July 2017 PrimeBOT talk contribs m 3,013 bytes +8 Replace magic links with templates per local RfC - BRFA undo

curprev 11:5011:50, 27 May 2016 82.156.56.167 talk 3,005 bytes +21 →References undo
curprev 11:4911:49, 27 May 2016 82.156.56.167 talk 2,984 bytes +182 →References undo

curprev 21:2821:28, 11 October 2015 Wstomv talk contribs 2,802 bytes +130 →References: Added a reference undo
curprev 21:1921:19, 11 October 2015 Wstomv talk contribs 2,672 bytes +133 →References: Added a reference undo
curprev 21:0921:09, 11 October 2015 Wstomv talk contribs 2,539 bytes +272 →References: Added a more recent reference undo

curprev 09:5409:54, 23 August 2015 86.56.85.146 talk 2,267 bytes −25 →See also undo

curprev 18:5018:50, 14 August 2015 Pinethicket talk contribs 2,292 bytes −16 →See also: rm dup undo
curprev 18:4718:47, 14 August 2015 41.190.2.110 talk 2,308 bytes +41 →See also undo

curprev 07:5307:53, 26 October 2014 Greenrd talk contribs m 2,267 bytes +3 catsort undo
curprev 07:5107:51, 26 October 2014 Greenrd talk contribs m 2,264 bytes +3 Creating a category for program derivation undo Tag: Visual edit
curprev 07:4707:47, 26 October 2014 Greenrd talk contribs 2,261 bytes +41 bird-meertens formalism as an example undo

curprev 05:4805:48, 23 March 2013 Addbot talk contribs m 2,220 bytes −30 Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q7248413 undo

curprev 11:0911:09, 18 March 2012 JamesHaigh talk contribs m 2,250 bytes +35 Added link on 'correctness'. undo
curprev 08:4108:41, 18 March 2012 JamesHaigh talk contribs 2,215 bytes +26 →See also: Added link. undo

curprev 15:0715:07, 13 August 2011 Greenrd talk contribs m 2,189 bytes +4 →See also: replaced already-mentioned link with not-yet-mentioned example approach undo

curprev 23:1023:10, 11 July 2009 Crispin.cheddarcock talk contribs 2,185 bytes 0 No edit summary undo
curprev 23:1023:10, 11 July 2009 Crispin.cheddarcock talk contribs 2,185 bytes +12 No edit summary undo
curprev 23:0423:04, 11 July 2009 Crispin.cheddarcock talk contribs 2,173 bytes +5 No edit summary undo
curprev 23:0323:03, 11 July 2009 Crispin.cheddarcock talk contribs 2,168 bytes +3 No edit summary undo

curprev 07:4407:44, 31 January 2009 220.134.88.181 talk 2,165 bytes +2 Derived proofs are order of magnitude larger than the program, therefore 'shorter' is a more appropriate qualification undo

curprev 05:5405:54, 6 December 2008 Robert Will talk contribs 2,163 bytes +117 →References undo

curprev 13:5813:58, 5 May 2008 193.11.218.29 talk 2,046 bytes −2 No edit summary undo
curprev 13:5813:58, 5 May 2008 193.11.218.29 talk 2,048 bytes +1 No edit summary undo

curprev 20:3220:32, 28 February 2008 Furrykef talk contribs m 2,047 bytes 0 No edit summary undo

curprev 21:1821:18, 2 December 2007 Cander0000 talk contribs 2,047 bytes −6 refined category using AWB undo

curprev 20:3020:30, 7 November 2007 Wstomv talk contribs m 2,053 bytes +157 Corrected typos; improved formulation; added to 'See also' undo

curprev 12:2312:23, 5 November 2007 Gkc talk contribs 1,896 bytes +138 Added another problem with verification undo

curprev 05:1005:10, 11 August 2007 Appraiser talk contribs 1,758 bytes −1 date format using AWB undo

curprev 07:4607:46, 21 October 2006 202.225.18.163 talk 1,759 bytes +30 →References: +ja undo

curprev 17:2917:29, 24 November 2005 Dfletter talk contribs 1,729 bytes +4 No edit summary undo

curprev 19:5919:59, 26 August 2004 Leibniz talk contribs m 1,725 bytes +27 No edit summary undo

27 June 2023

13 December 2018

31 July 2018

6 October 2017

4 July 2017

27 May 2016

11 October 2015

23 August 2015

14 August 2015

26 October 2014

23 March 2013

18 March 2012

13 August 2011

11 July 2009

31 January 2009

6 December 2008

5 May 2008

28 February 2008

2 December 2007

7 November 2007

5 November 2007

11 August 2007

21 October 2006

24 November 2005

26 August 2004

18 February 2004