Algebraic Logic Functional programming language: 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 05:2705:27, 12 April 2024‎ Jlwoodwa talk contribs‎ m 5,542 bytes +1‎ WP:STUBSPACING undo

curprev 13:3713:37, 12 February 2024‎ Felix QW talk contribs‎ 5,541 bytes −41‎ removed Category:Logic programming languages using HotCat: Already in subcat undo

curprev 06:3706:37, 25 July 2023‎ Jerryobject talk contribs‎ 5,582 bytes −113‎ Template:Infobox programming language, WP:REFerence WP:CITation parameters: update-standardizes, needless underscores > spaces, respaces, reorders, conform to master templates. Small WP:COPYEDITs WP:EoS: WP:TERSE, clarify. WP:LINKs: update-standardizes, needless WP:PIPE > WP:NOPIPE, adds. undo

curprev 09:4409:44, 4 June 2022‎ Palosirkka talk contribs‎ 5,695 bytes −5‎ apparently not free software undo

curprev 12:5212:52, 15 May 2021‎ Jarble talk contribs‎ m 5,700 bytes +4‎ link depth-first search using Find link undo

curprev 03:1903:19, 7 February 2021‎ Citation bot talk contribs‎ 5,696 bytes −75‎ Removed parameters. | You can use this bot yourself. Report bugs here. | Suggested by Abductive | Category:Free compilers and interpreters | via #UCB_Category 52/146 undo

curprev 14:1414:14, 14 July 2020‎ GreenC bot talk contribs‎ 5,771 bytes +5‎ Reformat 1 archive link. Wayback Medic 2.5 undo

curprev 17:0817:08, 6 March 2020‎ 195.245.135.182 talk‎ 5,766 bytes +579‎ Add information about ALF's license. undo

curprev 06:0106:01, 10 October 2019‎ 177.204.16.197 talk‎ 5,187 bytes +54‎ Added a link to the UML action language Alf. undo

curprev 17:4417:44, 16 September 2019‎ Monkbot talk contribs‎ m 5,133 bytes −36‎ →‎top: Task 16: replaced (4×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

curprev 19:3219:32, 29 August 2019‎ Bender the Bot talk contribs‎ m 5,169 bytes +4‎ →‎top: HTTP → HTTPS for Carnegie Mellon CS, replaced: http://www.cs.cmu.edu/ → https://www.cs.cmu.edu/ (4) undo Tag: AWB

curprev 23:3923:39, 29 August 2018‎ Smasongarrison talk contribs‎ m 5,165 bytes −5‎ subst:'ing undo Tag: AWB

curprev 04:0004:00, 10 September 2016‎ GreenC bot talk contribs‎ m 5,170 bytes +4‎ WaybackMedic 2 undo

curprev 23:2923:29, 14 February 2016‎ Hairy Dude talk contribs‎ 5,166 bytes +2‎ punctuation undo Tags: Mobile edit Mobile web edit
curprev 23:2923:29, 14 February 2016‎ Hairy Dude talk contribs‎ 5,164 bytes −4‎ {{for}} undo Tags: Mobile edit Mobile web edit

curprev 14:2714:27, 6 November 2014‎ Owl2442 talk contribs‎ m 5,168 bytes −13‎ →‎External links undo

curprev 01:0801:08, 7 March 2014‎ Trappist the monk talk contribs‎ m 5,181 bytes −2‎ Fix CS1 deprecated coauthor parameter errors using AWB undo

curprev 09:0409:04, 6 June 2012‎ DASHBot talk contribs‎ m 5,183 bytes +712‎ Scanned 4 urls; found 4 archives (4 in CiteWeb Templates; 4 in References). See User:DASHBot/Dead Links for settings, shutoff, info, questions. undo

curprev 18:5218:52, 1 March 2012‎ Helpful Pixie Bot talk contribs‎ m 4,471 bytes +16‎ Dated {{Citation needed}}. (Build p626) undo
curprev 18:4618:46, 1 March 2012‎ 98.246.225.23 talk‎ 4,455 bytes +19‎ No edit summary undo

curprev 13:3313:33, 8 August 2011‎ Ruud Koot talk contribs‎ 4,436 bytes +53‎ :''ALF can also refer to ALF (theorem prover).'' undo

curprev 13:0313:03, 4 June 2011‎ Dan6hell66 talk contribs‎ m 4,383 bytes −41‎ Reverted edits by 83.131.79.106 (talk) to last revision by 217.236.191.74 (HG) undo
curprev 12:4512:45, 4 June 2011‎ 83.131.79.106 talk‎ 4,424 bytes +41‎ →‎References undo Tag: reference list removal

curprev 16:3916:39, 21 August 2010‎ 217.236.191.74 talk‎ 4,383 bytes +452‎ added an infobox undo

curprev 00:3100:31, 9 December 2009‎ Full-date unlinking bot talk contribs‎ m 3,931 bytes −12‎ Unlinking full-dates. Details here. Codes: ISO1(×3) undo

curprev 10:3210:32, 3 January 2009‎ Greenrd talk contribs‎ m 3,943 bytes +56‎ added approximate creation date category undo

curprev 04:2804:28, 22 March 2008‎ CRGreathouse talk contribs‎ m 3,887 bytes −35‎ rm nested cat undo

curprev 12:2312:23, 5 December 2007‎ 213.219.134.60 talk‎ 3,922 bytes +4‎ No edit summary undo

curprev 20:4420:44, 26 August 2007‎ Kl4m talk contribs‎ 3,918 bytes −27‎ →‎External links: rm Free software portal template. This is not Free software; see license undo

curprev 20:0120:01, 27 June 2007‎ Aaron Bruce talk contribs‎ 3,945 bytes +68‎ No edit summary undo

curprev 18:0618:06, 26 June 2007‎ IronGargoyle talk contribs‎ 3,877 bytes −756‎ remove deletion review temlate per DRV undo
curprev 12:5412:54, 26 June 2007‎ Aaron Bruce talk contribs‎ m 4,633 bytes 0‎ moved ALF (programming language) to Algebraic Logic Functional programming language: According to the articles, this is what ALF stands for, and it is policy to have acronyms spelled out. undo

curprev 19:3619:36, 24 June 2007‎ Localzuk talk contribs‎ 4,633 bytes +745‎ substing undo
curprev 19:3419:34, 24 June 2007‎ Localzuk talk contribs‎ 3,888 bytes +11‎ Place delrev template here as the original lister failed to do so undo

curprev 09:2209:22, 22 June 2007‎ Thincat talk contribs‎ 3,877 bytes +23‎ Wikilink Kiel University undo
curprev 09:1209:12, 22 June 2007‎ Thincat talk contribs‎ 3,854 bytes +441‎ n-line cite to User manual, ALF system undo
curprev 08:5008:50, 22 June 2007‎ Thincat talk contribs‎ 3,413 bytes +850‎ Provide clear third-party source for notability undo

curprev 18:3318:33, 20 June 2007‎ SqlPac talk contribs‎ m 2,563 bytes +19‎ Added Comp Sci Stub undo
curprev 16:3216:32, 20 June 2007‎ Yamamoto Ichiro talk contribs‎ 2,544 bytes −221‎ rm afd undo

curprev 14:5014:50, 12 June 2007‎ Localzuk talk contribs‎ 2,765 bytes +221‎ nomination for deletion undo

curprev 02:3802:38, 10 December 2006‎ Gwern talk contribs‎ m 2,544 bytes +2‎ Robot-assisted disambiguation (you can help!): C programming language undo

curprev 02:5802:58, 7 September 2006‎ Tariqabjotu talk contribs‎ m 2,542 bytes 0‎ moved ALF programming language to ALF (programming language): per move request on talk page undo

curprev 21:2121:21, 5 June 2006‎ Gronky talk contribs‎ m 2,542 bytes +33‎ fix cat undo

curprev 03:1203:12, 4 May 2006‎ CorbinSimpson talk contribs‎ 2,509 bytes +13‎ →‎External links: Sorting category. undo

curprev 03:5403:54, 15 October 2005‎ Adicarlo talk contribs‎ 2,496 bytes −1,587‎ →‎References: fix bad link; remove links to the various papers, which were broken and dwarfing the article, and instead link to page describing all the publications undo

curprev 14:5914:59, 5 October 2005‎ 68.23.18.151 talk‎ 4,083 bytes +41‎ →‎External links undo

curprev 09:2209:22, 18 September 2005‎ 68.23.18.131 talk‎ 4,042 bytes +6‎ Fixed two Wiki-links to look neater. undo

curprev 21:3921:39, 25 August 2005‎ 212.34.225.96 talk‎ 4,036 bytes 0‎ minor undo

curprev 00:5000:50, 20 November 2004‎ COGDEN talk contribs‎ 4,036 bytes −23‎ recat undo

curprev 04:5204:52, 19 November 2004‎ RobertStar20 talk contribs‎ m 4,059 bytes −1‎ Please help out by clicking here to fix someone else's Wiki syntax undo

12 April 2024

12 February 2024

25 July 2023

4 June 2022

15 May 2021

7 February 2021

14 July 2020

6 March 2020

10 October 2019

16 September 2019

29 August 2019

29 August 2018

10 September 2016

14 February 2016

6 November 2014

7 March 2014

6 June 2012

1 March 2012

8 August 2011

4 June 2011

21 August 2010

9 December 2009

3 January 2009

22 March 2008

5 December 2007

26 August 2007

27 June 2007

26 June 2007

24 June 2007

22 June 2007

20 June 2007

12 June 2007

10 December 2006

7 September 2006

5 June 2006

4 May 2006

15 October 2005

5 October 2005

18 September 2005

25 August 2005

20 November 2004

19 November 2004