Refinement calculus: 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 14:2514:25, 26 May 2022‎ Hadal1337 talk contribs‎ m 1,771 bytes −221‎ →‎External links: Removal of dead links undo Tag: Visual edit
curprev 11:2611:26, 26 May 2022‎ Phil Bridger talk contribs‎ 1,992 bytes −372‎ contest WP:PROD deletion - there are plenty of books and academic papers that cover this (why would we expect it to be in the news?) so the article shouldn't be deleted without discussion undo Tag: Manual revert
curprev 09:5209:52, 26 May 2022‎ Hadal1337 talk contribs‎ 2,364 bytes +56‎ proposing for deletion undo Tag: Reverted
curprev 09:4909:49, 26 May 2022‎ Hadal1337 talk contribs‎ 2,308 bytes +316‎ proposing for deletion undo Tags: Reverted Visual edit: Switched

curprev 02:3902:39, 22 April 2020‎ Hawkinsw2005 talk contribs‎ m 1,963 bytes +181‎ Add a reference to Michael Butler's website from where this language is taken (almost verbatim). undo

curprev 17:4817:48, 4 October 2014‎ Dough34 talk contribs‎ m 1,778 bytes 0‎ fix capitalization undo

curprev 01:0801:08, 4 January 2013‎ Nunibad talk contribs‎ m 1,778 bytes +5‎ Grammar (added "The") and reverted "Hoare Logic" to "Hoare Triple". undo

curprev 02:0702:07, 9 November 2010‎ 131.107.0.72 talk‎ 1,773 bytes −27‎ No edit summary undo

curprev 21:0221:02, 16 September 2009‎ Angelweed talk contribs‎ 1,801 bytes −26‎ "ridiculously Hermanic" is not NPV undo

curprev 09:1109:11, 3 August 2009‎ Pcap talk contribs‎ m 1,782 bytes +19‎ one more undo
curprev 09:1109:11, 3 August 2009‎ Pcap talk contribs‎ m 1,763 bytes 0‎ dab program refinement undo

curprev 20:5920:59, 29 June 2008‎ Alaibot talk contribs‎ m 1,763 bytes +4‎ Robot: sorting stub (based on existing categorisation) undo

curprev 10:3410:34, 18 April 2008‎ 217.224.4.22 talk‎ 1,759 bytes −2‎ No edit summary undo
curprev 10:3410:34, 18 April 2008‎ 217.224.4.22 talk‎ 1,761 bytes +55‎ No edit summary undo

curprev 19:2219:22, 26 January 2007‎ Cyde talk contribs‎ m 1,711 bytes −40,806‎ Reverted edits by 203.141.174.11 (talk) to last version by Jpbowen undo
curprev 18:4518:45, 26 January 2007‎ 203.141.174.11 talk‎ 42,517 bytes +40,806‎ Forex Trading Resurse Free Practice Account - Top Ranked Sites undo

curprev 00:0700:07, 10 January 2007‎ Jpbowen talk contribs‎ m 1,711 bytes +33‎ Added category, tidying undo

curprev 12:2412:24, 2 December 2006‎ Jpbowen talk contribs‎ m 1,678 bytes +45‎ Added category, minor tidying undo

curprev 06:2506:25, 17 July 2006‎ 137.111.13.34 talk‎ 1,633 bytes +664‎ No edit summary undo

curprev 12:1412:14, 27 September 2005‎ Jpbowen talk contribs‎ 911 bytes +911‎ New entry