Jump to content

Program verification: Revision history

View logs for this page (view filter log)

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 00:2100:21, 2 May 2006 Beland talk contribs 33 bytes −811 Merge with and redirect to Formal verification undo

curprev 20:4320:43, 2 April 2006 Ripper234 talk contribs 844 bytes +32 mergeto|Formal verification undo

curprev 02:0802:08, 27 March 2006 69.193.116.20 talk 812 bytes −46 No edit summary undo
curprev 02:0702:07, 27 March 2006 69.193.116.20 talk 858 bytes +46 No edit summary undo

curprev 18:5718:57, 16 October 2005 Furrykef talk contribs m 812 bytes 0 No edit summary undo
curprev 18:5718:57, 16 October 2005 Furrykef talk contribs m 812 bytes 0 No edit summary undo

curprev 18:4518:45, 6 September 2005 Leibniz talk contribs 812 bytes +182 No edit summary undo
curprev 18:3718:37, 6 September 2005 Leibniz talk contribs 630 bytes +216 No edit summary undo

curprev 00:3600:36, 31 August 2005 Jpbowen talk contribs m 414 bytes +87 →See also undo

curprev 07:1307:13, 10 August 2005 Thv talk contribs 327 bytes +3 comp-sci-stub undo
curprev 07:1207:12, 10 August 2005 Thv talk contribs m 324 bytes +48 No edit summary undo

curprev 07:0707:07, 6 August 2005 YurikBot talk contribs m 276 bytes +30 robot Adding: he undo

curprev 13:0013:00, 1 September 2004 Norm talk contribs 246 bytes +3 Better stub message undo

curprev 18:1918:19, 16 August 2004 Toby Bartels talk contribs 243 bytes +14 Substub! undo

curprev 22:4222:42, 18 February 2004 Zoltar0 talk contribs 229 bytes +5 No edit summary undo

curprev 01:5101:51, 23 January 2004 LittleDan talk contribs m 224 bytes +1 No edit summary undo

curprev 09:2009:20, 27 December 2003 Emperorbma talk contribs m 223 bytes −120 No edit summary undo

curprev 15:1215:12, 14 November 2003 Tualha talk contribs m 343 bytes +136 stub notice added undo

curprev 01:0401:04, 13 September 2003 220.96.188.109 talk 207 bytes −1 No edit summary undo

curprev 05:0905:09, 21 June 2003 219.65.88.166 talk 208 bytes +1 typo undo

curprev 15:3315:33, 8 January 2003 134.155.53.23 talk 207 bytes +11 No edit summary undo

curprev 09:0709:07, 3 August 2002 Vovkav~enwiki talk contribs 196 bytes +196 stub

Retrieved from "https://en.wikipedia.org/wiki/Program_verification"