Jump to content

ΛProlog: 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 02:4502:45, 15 March 2024‎ TimothyBlue talk contribs‎ 5,427 bytes +77‎ →‎See also: add undo

curprev 02:2202:22, 29 February 2024‎ Atomvinter talk contribs‎ m 5,350 bytes −1‎ fix initial whitespace undo

curprev 11:4011:40, 17 July 2023‎ Felix QW talk contribs‎ 5,351 bytes −41‎ Subsumed by more precise category. undo Tag: 2017 wikitext editor

curprev 09:4409:44, 8 February 2023‎ Dale A Miller talk contribs‎ 5,392 bytes 0‎ No edit summary undo

curprev 13:4913:49, 26 December 2022‎ Dale A Miller talk contribs‎ 5,392 bytes −118‎ →‎Tutorials and texts: Fixed link undo Tags: Mobile edit Mobile web edit
curprev 13:4513:45, 26 December 2022‎ Dale A Miller talk contribs‎ 5,510 bytes +107‎ →‎Implementations: Adding references to Coq-ELPI. undo Tags: Mobile edit Mobile web edit
curprev 13:4213:42, 26 December 2022‎ Dale A Miller talk contribs‎ 5,403 bytes +76‎ →‎Implementations undo Tags: Mobile edit Mobile web edit

curprev 09:4309:43, 19 October 2022‎ Dale A Miller talk contribs‎ 5,327 bytes 0‎ →‎History undo

curprev 11:0611:06, 14 January 2021‎ Dale A Miller talk contribs‎ 5,327 bytes +116‎ →‎External links undo

curprev 13:5413:54, 11 August 2020‎ GreenC bot talk contribs‎ 5,211 bytes +57‎ Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 21:3221:32, 16 December 2019‎ Tmcw talk contribs‎ m 5,154 bytes −4‎ Fix syntax undo Tag: 2017 wikitext editor
curprev 21:3221:32, 16 December 2019‎ Tmcw talk contribs‎ 5,158 bytes +1,182‎ Add infobox undo Tag: 2017 wikitext editor

curprev 08:5408:54, 27 September 2019‎ 193.55.177.138 talk‎ 3,976 bytes +37‎ →‎Implementations undo

curprev 08:1908:19, 10 July 2019‎ 138.96.206.76 talk‎ 3,939 bytes −27‎ No edit summary undo

curprev 11:5611:56, 5 April 2019‎ 79.107.104.246 talk‎ 3,966 bytes 0‎ No edit summary undo
curprev 09:1109:11, 5 April 2019‎ 79.107.104.246 talk‎ 3,966 bytes −1‎ No edit summary undo
curprev 09:1009:10, 5 April 2019‎ 79.107.104.246 talk‎ 3,967 bytes +13‎ MOS:SECTIONORDER undo

curprev 09:5509:55, 23 December 2018‎ Citation bot talk contribs‎ m 3,954 bytes −43‎ Alter: template type. Add: isbn. Removed parameters. You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 05:2905:29, 22 October 2017‎ James.Richard talk contribs‎ 3,997 bytes −4‎ Removed dead link undo Tag: Visual edit

curprev 03:3403:34, 19 September 2017‎ KolbertBot talk contribs‎ m 4,001 bytes +1‎ Bot: HTTP→HTTPS undo

curprev 01:1701:17, 10 August 2017‎ Jon Kolbert talk contribs‎ m 4,000 bytes +1‎ updated archive link from using http to https undo

curprev 12:2612:26, 17 February 2017‎ I dream of horses talk contribs‎ m 3,999 bytes +1‎ clean up using AWB undo

curprev 19:2119:21, 18 October 2016‎ Dale A Miller talk contribs‎ 3,998 bytes +400‎ No edit summary undo Tag: Visual edit: Switched

curprev 21:4621:46, 24 May 2015‎ Gorkempacaci talk contribs‎ 3,598 bytes +4‎ No edit summary undo

curprev 06:3106:31, 24 May 2014‎ Jochen Burghardt talk contribs‎ 3,594 bytes −75‎ Undid revision 609877193 by Thepigdog (talk): link to problem of untyped calc., not of resolution by typing undo

curprev 23:4023:40, 23 May 2014‎ Thepigdog talk contribs‎ 3,669 bytes +75‎ →‎See also undo

curprev 05:4305:43, 17 May 2014‎ Jochen Burghardt talk contribs‎ 3,594 bytes +33‎ →‎See also: added wikilinks undo
curprev 05:3405:34, 17 May 2014‎ Jochen Burghardt talk contribs‎ 3,561 bytes +162‎ →‎See also: suggest to contrast to Curry's paradox undo

curprev 05:4305:43, 7 February 2014‎ הסרפד talk contribs‎ 3,399 bytes −2‎ replaced deprecated parameter "coauthor" undo

curprev 08:1208:12, 23 August 2013‎ 193.55.177.90 talk‎ 3,401 bytes 0‎ No edit summary undo

curprev 07:2507:25, 3 April 2013‎ Dale A Miller talk contribs‎ 3,401 bytes +68‎ No edit summary undo
curprev 07:1607:16, 3 April 2013‎ Dale A Miller talk contribs‎ 3,333 bytes +286‎ →‎Implementations undo
curprev 06:0906:09, 3 April 2013‎ 83.112.193.56 talk‎ 3,047 bytes +1‎ →‎Tutorials and Texts undo
curprev 06:0706:07, 3 April 2013‎ 83.112.193.56 talk‎ 3,046 bytes 0‎ No edit summary undo

curprev 11:2211:22, 15 March 2013‎ Addbot talk contribs‎ m 3,046 bytes −17‎ Bot: Migrating 1 interwiki links, now provided by Wikidata on d:q3594646 undo

curprev 02:5102:51, 31 January 2013‎ Bgwhite talk contribs‎ m 3,063 bytes +5‎ →‎Tutorials and Texts: Defaultsort not needed as there are no cats using AWB undo

curprev 06:4306:43, 8 August 2012‎ 86.203.17.7 talk‎ 3,058 bytes +22‎ →‎Tutorials and Texts undo

curprev 09:4109:41, 12 November 2011‎ Dale A Miller talk contribs‎ 3,036 bytes +272‎ →‎Tutorials undo

curprev 15:1715:17, 16 May 2011‎ Dale A Miller talk contribs‎ 2,764 bytes −4‎ No edit summary undo
curprev 15:1615:16, 16 May 2011‎ Dale A Miller talk contribs‎ 2,768 bytes +393‎ No edit summary undo

curprev 21:4121:41, 21 September 2010‎ SmackBot talk contribs‎ m 2,375 bytes +33‎ Date maintenance tags and general fixes: build 543: undo
curprev 20:0620:06, 21 September 2010‎ Rich Farmbrough talk contribs‎ 2,342 bytes +1‎ Copyedit. undo

curprev 08:0908:09, 4 September 2010‎ Yobot talk contribs‎ m 2,341 bytes +26‎ →‎Tutorials: Adding DEFAULTSORT to page with special characters (WP:CHECKWIKI error 37) + genfixes using AWB (7089) undo

curprev 06:0606:06, 3 September 2010‎ PierreSelim talk contribs‎ 2,315 bytes +16‎ No edit summary undo

curprev 12:3412:34, 26 June 2010‎ Grafen talk contribs‎ m 2,299 bytes +12‎ WikiCleaner 0.99 - Repairing link to disambiguation page - You can help! undo

curprev 08:5108:51, 3 May 2009‎ Radagast3 talk contribs‎ 2,287 bytes +78‎ Fixed links undo

curprev 05:2605:26, 11 February 2009‎ Chowbok talk contribs‎ m 2,209 bytes −2‎ clean up, Replaced: ® → using AWB undo

curprev 18:2818:28, 12 April 2008‎ Mahagaja talk contribs‎ m 2,211 bytes −5‎ rm link to deleted article undo

curprev 12:1712:17, 4 April 2008‎ Rswarbrick talk contribs‎ m 2,216 bytes +63‎ Add webcite link for stability. undo
curprev 12:0512:05, 4 April 2008‎ Rswarbrick talk contribs‎ 2,153 bytes +193‎ Put the link back, but fixed. D'oh undo

Retrieved from "https://en.wikipedia.org/wiki/ΛProlog"