Jump to content

PhoX: 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 12:4312:43, 11 April 2020‎ 89.208.2.73 talk‎ 1,454 bytes −25‎ →‎External links undo

curprev 17:0217:02, 31 May 2017‎ YelloHello talk contribs‎ 1,479 bytes +3‎ No edit summary undo

curprev 00:4300:43, 14 March 2013‎ Addbot talk contribs‎ m 1,476 bytes −36‎ Bot: Migrating 2 interwiki links, now provided by Wikidata on d:q603143 undo

curprev 05:3405:34, 29 March 2012‎ 98.234.249.218 talk‎ 1,512 bytes −9‎ No edit summary undo

curprev 19:2419:24, 27 January 2012‎ Palosirkka talk contribs‎ 1,521 bytes +37‎ license undo

curprev 07:1807:18, 21 September 2011‎ Cydebot talk contribs‎ m 1,484 bytes −20‎ Robot - Moving category Interactive theorem proving software to Category:Proof assistants per CFD at Wikipedia:Categories for discussion/Log/2011 September 14. undo

curprev 01:1101:11, 6 September 2010‎ Jerryobject talk contribs‎ m 1,504 bytes +37‎ Corrected unprintworthy name. Removed needless parentheses. undo

curprev 11:4711:47, 28 March 2008‎ 193.147.160.146 talk‎ 1,467 bytes +12‎ No edit summary undo

curprev 22:0322:03, 28 December 2007‎ 88.168.199.181 talk‎ 1,455 bytes +24‎ link to fr page undo

curprev 22:3822:38, 12 December 2007‎ Greenrd talk contribs‎ m 1,431 bytes +50‎ added category undo

curprev 06:5406:54, 12 October 2007‎ Tea2min talk contribs‎ m 1,381 bytes +2‎ Markup undo
curprev 06:5206:52, 12 October 2007‎ Tea2min talk contribs‎ m 1,379 bytes −29‎ Category:Free theorem provers is already a subcategory of Category:Theorem provers. undo

curprev 17:3717:37, 6 September 2007‎ 85.27.31.114 talk‎ 1,408 bytes +34‎ No edit summary undo

curprev 14:1714:17, 21 July 2007‎ CBM talk contribs‎ 1,374 bytes −4‎ switch stub type undo

curprev 05:4505:45, 24 April 2007‎ David Eppstein talk contribs‎ m 1,378 bytes +5‎ stub sorting undo

curprev 17:1417:14, 17 March 2006‎ Mitsukai talk contribs‎ 1,373 bytes −13‎ no French WP undo
curprev 17:1317:13, 17 March 2006‎ Mitsukai talk contribs‎ 1,386 bytes −89‎ edits undo

curprev 23:0623:06, 11 March 2005‎ 130.108.223.186 talk‎ 1,475 bytes +32‎ No edit summary undo
curprev 22:2922:29, 11 March 2005‎ 130.108.223.186 talk‎ 1,443 bytes +34‎ No edit summary undo
curprev 22:2922:29, 11 March 2005‎ 130.108.223.186 talk‎ 1,409 bytes +1,409‎ No edit summary

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