Formal Aspects of Computing: 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 13:5613:56, 19 October 2024 Chris the speller talk contribs m 5,762 bytes −15 cap, MOS:NOBACKREF undo Tag: Visual edit

curprev 14:5214:52, 21 July 2024 RJFJR talk contribs 5,777 bytes +54 Added {{Unreferenced}} tag undo Tag: Twinkle
curprev 14:5114:51, 21 July 2024 RJFJR talk contribs 5,723 bytes −43 fmt hadings as real headings instead of just bolded, move external links to external links section undo

curprev 17:0717:07, 19 July 2024 Headbomb talk contribs 5,766 bytes +228 Standardizing infobox journal with (infoboxJournal.js) + ping User:Randykitty this might interest youi undo
curprev 17:0617:06, 19 July 2024 Headbomb talk contribs 5,538 bytes +49 Added {{Cleanup}} tag undo Tag: Twinkle

curprev 12:3812:38, 16 July 2024 Bearcat talk contribs 5,489 bytes +12 removed Category:Association for Computing Machineary; added Category:Association for Computing Machinery publications using HotCat undo

curprev 17:3217:32, 15 July 2024 64.27.39.220 talk 5,477 bytes +3,653 Update descriptions, impact factor and other journal-related information. undo Tags: references removed Visual edit

curprev 13:3713:37, 29 April 2023 Smasongarrison talk contribs 1,841 bytes +5 Newspaper/Magazine/journal cleanup; General + punct fixes undo Tag: AWB

curprev 05:3805:38, 19 April 2023 WikiCleanerBot talk contribs m 1,836 bytes −17 v2.05b - Bot T20 CW#61 - Fix errors for CW project (Reference before punctuation - Link equal to linktext) undo Tag: WPCleaner

curprev 08:0108:01, 11 April 2023 62.2.179.92 talk 1,853 bytes −110 No edit summary undo

curprev 15:3015:30, 27 June 2022 Fadesga talk contribs 1,963 bytes +25 →External links undo

curprev 07:5207:52, 18 February 2020 Nemo bis talk contribs 1,938 bytes −85 remove broken link undo

curprev 20:1920:19, 1 December 2019 TokenzeroBot talk contribs m 2,023 bytes −4 Fix ISO-4 abbreviation to use all language rules. (supervised) undo

curprev 19:4819:48, 26 July 2019 Citation bot talk contribs m 2,027 bytes −3 Alter: title. Add: title-link. Removed accessdate with no specified URL. Removed parameters. | You can use this bot yourself. Report bugs here.| Activated by User:Chris Capoccia | Category:Pages using citations with accessdate and no URL. undo

curprev 20:2620:26, 17 March 2018 Headbomb talk contribs 2,030 bytes +22 Formal Aspects Comput. undo

curprev 21:1721:17, 1 March 2018 Tom.Reding talk contribs m 2,008 bytes −9 Fix Category:Pages using deprecated image syntax; WP:GenFixes on, using AWB undo

curprev 14:5814:58, 28 August 2017 KolbertBot talk contribs m 2,017 bytes +2 Bot: HTTP→HTTPS undo

curprev 18:0018:00, 1 May 2017 Elektrolurch talk contribs m 2,015 bytes +1 https://www.editorialmanager.com/faoc/default.aspx undo

curprev 13:3513:35, 19 March 2016 Jpbowen talk contribs 2,014 bytes +1 Tidying undo

curprev 01:4601:46, 2 February 2014 Cydebot talk contribs m 2,013 bytes +23 Robot - Speedily moving category Springer academic journals to Category:Springer Science+Business Media academic journals per CFDS. undo

curprev 13:3613:36, 18 August 2011 Guillaume2303 talk contribs 1,990 bytes +39 added Category:English-language journals using HotCat undo
curprev 13:3613:36, 18 August 2011 Guillaume2303 talk contribs 1,951 bytes +32 added Category:Quarterly journals using HotCat undo
curprev 13:3613:36, 18 August 2011 Guillaume2303 talk contribs 1,919 bytes −97 cleanup undo

curprev 16:1916:19, 16 August 2011 Guillaume2303 talk contribs 2,016 bytes −448 reword, no refs needed for this undo
curprev 14:3214:32, 16 August 2011 Jpbowen talk contribs 2,464 bytes +68 "See also", box update undo
curprev 14:2014:20, 16 August 2011 Jpbowen talk contribs 2,396 bytes +15 Section heading undo
curprev 14:1914:19, 16 August 2011 Jpbowen talk contribs 2,381 bytes +91 "See also" section undo

curprev 12:0012:00, 22 January 2011 Jpbowen talk contribs 2,290 bytes +168 Refs for notability, narrowed category undo

curprev 01:0301:03, 9 January 2011 Mhiji talk contribs 2,122 bytes −16 unnecessary as in infobox undo

curprev 10:5510:55, 3 January 2011 Kajervi talk contribs 2,138 bytes +40 cover undo

curprev 22:4122:41, 2 December 2009 M4gnum0n talk contribs 2,098 bytes +26 notability undo

curprev 09:2209:22, 9 November 2009 RussBot talk contribs m 2,072 bytes −2 Robot: change redirected category Springer scientific journals to Springer academic journals undo

curprev 17:5117:51, 29 October 2009 Miym talk contribs m 2,074 bytes +42 →External links: cat undo

curprev 12:0612:06, 26 October 2009 Jpbowen talk contribs 2,032 bytes +69 Links, italic title undo

curprev 22:1822:18, 30 August 2009 Jpbowen talk contribs m 1,963 bytes +35 Links, tidying undo

curprev 14:0114:01, 29 June 2009 Flowerheaven talk contribs 1,928 bytes −393 No edit summary undo

curprev 12:3612:36, 20 November 2008 ImageRemovalBot talk contribs 2,321 bytes −19 Removing deleted image undo

curprev 08:2208:22, 9 November 2008 Carnildo talk contribs m 2,340 bytes +19 Reverted edits by ImageRemovalBot (talk) to last version by Lightbot undo
curprev 04:5104:51, 9 November 2008 ImageRemovalBot talk contribs 2,321 bytes −19 Removing deleted image undo

curprev 16:2016:20, 8 November 2008 Lightbot talk contribs 2,340 bytes −4 Date audit per mosnum/overlink/Other undo

curprev 01:4201:42, 28 August 2008 Ameliorate! talk contribs m 2,344 bytes +20 Correcting image fields in {{Infobox_Magazine}} undo

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

curprev 01:5301:53, 18 May 2008 Chanheigeorge talk contribs m 2,320 bytes +66 No edit summary undo

curprev 10:2710:27, 28 November 2007 Jpbowen talk contribs m 2,254 bytes +37 Added logo undo

curprev 13:3213:32, 18 June 2007 Jpbowen talk contribs m 2,217 bytes +51 Added first date, category undo

Formal Aspects of Computing: Revision history

19 October 2024

21 July 2024

19 July 2024

16 July 2024

15 July 2024

26 June 2024

29 April 2023

19 April 2023

11 April 2023

27 June 2022

18 February 2020

1 December 2019

26 July 2019

17 March 2018

1 March 2018

28 August 2017

1 May 2017

19 March 2016

2 February 2014

18 August 2011

16 August 2011

22 January 2011

9 January 2011

3 January 2011

2 December 2009

9 November 2009

29 October 2009

26 October 2009

30 August 2009

29 June 2009

20 November 2008

9 November 2008

8 November 2008

28 August 2008

29 June 2008

18 May 2008

28 November 2007

18 June 2007