TLA+: 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 11:1811:18, 2 July 2024‎ Explicit talk contribs‎ m 55,766 bytes −245‎ Removing link(s) undefined (XFDcloser) undo

curprev 00:4100:41, 25 June 2024‎ Cedar101 talk contribs‎ m 56,011 bytes −80‎ →‎Data structures: <code> undo
curprev 00:3900:39, 25 June 2024‎ Cedar101 talk contribs‎ m 56,091 bytes 0‎ →‎Examples: lang="tex" undo
curprev 00:0400:04, 25 June 2024‎ Jayaprabhakar talk contribs‎ m 56,091 bytes +245‎ Added another alternative undo

curprev 12:4312:43, 24 December 2023‎ Citation bot talk contribs‎ 55,846 bytes +33‎ Add: bibcode. | Use this bot. Report bugs. | Suggested by Abductive | Category:Concurrency (computer science) | #UCB_Category 24/43 undo

curprev 01:0601:06, 20 October 2023‎ Cedar101 talk contribs‎ m 55,813 bytes −9‎ →‎Examples: lang="text" undo

curprev 11:1511:15, 19 October 2023‎ 45.64.242.157 talk‎ 55,822 bytes +1‎ →‎Industry use undo Tags: Mobile edit Mobile web edit

curprev 13:3013:30, 22 August 2023‎ Headbomb talk contribs‎ 55,821 bytes −29‎ ce undo
curprev 13:2913:29, 22 August 2023‎ Headbomb talk contribs‎ 55,850 bytes +24‎ ce undo
curprev 13:2513:25, 22 August 2023‎ Citation bot talk contribs‎ 55,826 bytes −5‎ Alter: title. Add: series, chapter. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 00:2600:26, 15 August 2023‎ Citation bot talk contribs‎ 55,831 bytes −42‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 913/3850 undo

curprev 20:4320:43, 29 March 2023‎ Citation bot talk contribs‎ 55,873 bytes −79‎ Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by Whoop whoop pull up | #UCB_webform 52/321 undo

curprev 02:3002:30, 6 February 2023‎ Eejit43 talk contribs‎ m 55,952 bytes −8‎ Remove unneeded nowiki tag(s), cleanup undo Tag: AWB

curprev 08:0308:03, 30 January 2023‎ OAbot talk contribs‎ m 55,960 bytes +21‎ Open access bot: doi added to citation with #oabot. undo

curprev 16:5016:50, 16 January 2023‎ MaladyMaze talk contribs‎ 55,939 bytes +150‎ Rescuing 0 sources and tagging 2 as dead.) #IABot (v2.0.9.3 undo Tag: IABotManagementConsole [1.2]

curprev 05:3205:32, 19 November 2022‎ Citation bot talk contribs‎ 55,789 bytes +36‎ Add: chapter. | Use this bot. Report bugs. | Suggested by BorgQueen | Category:Specification languages | #UCB_Category 48/50 undo

curprev 13:5413:54, 4 October 2022‎ GSvarovsky talk contribs‎ 55,753 bytes +41‎ →‎See also: Added reference to closely-related formalism undo Tag: Visual edit

curprev 11:3311:33, 10 June 2022‎ 2a01:c22:b478:e100:9d79:3354:d329:989c talk‎ 55,712 bytes +33‎ No edit summary undo

curprev 11:4611:46, 13 May 2022‎ Paul Setzer talk contribs‎ 55,679 bytes +14‎ No edit summary undo

curprev 03:0603:06, 28 April 2022‎ FrescoBot talk contribs‎ m 55,665 bytes −5‎ Bot: link syntax undo

curprev 20:1320:13, 17 April 2022‎ Citation bot talk contribs‎ 55,670 bytes +210‎ Alter: template type, title. Add: doi, pages, volume, chapter-url, chapter, s2cid, magazine, authors 1-1. Removed or converted URL. Removed parameters. Formatted dashes. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Lightlowemon | Linked from User:Lightlowemon/sandbox | #UCB_webform_linked 1038/1213 undo

curprev 15:5915:59, 16 September 2021‎ Dabed talk contribs‎ 55,460 bytes +125‎ →‎Industry use: Added that Altreonic NV used TLA+ to model check OpenComRTOS undo Tag: Visual edit: Switched

curprev 22:4822:48, 5 September 2021‎ Ekoutanov talk contribs‎ m 55,335 bytes +348‎ Addition to list of algorithms proven by TLAPS undo

curprev 18:4218:42, 5 August 2021‎ IznoRepeat talk contribs‎ m 54,987 bytes −403‎ remove WP:NavFrame per User:IznoRepeat#NavFrame removal from articles, further cleanup as necessary undo Tag: AWB

curprev 01:0401:04, 4 August 2021‎ BloodDoll talk contribs‎ 55,390 bytes −13‎ Undid revision 1037011672 by BloodDoll (talk) - URL is correct undo Tag: Undo
curprev 00:5900:59, 4 August 2021‎ BloodDoll talk contribs‎ m 55,403 bytes +13‎ Reverted edits by Andrew_Helwer (talk): addition of unnecessary/inappropriate external links (HG) (3.4.10) undo Tags: Rollback Reverted
curprev 00:5700:57, 4 August 2021‎ Andrew Helwer talk contribs‎ m 55,390 bytes −13‎ Updated project website undo Tag: Reverted

curprev 06:2806:28, 25 May 2021‎ Beland talk contribs‎ m 55,403 bytes −10‎ convert special characters (via WP:JWB) undo

curprev 01:3501:35, 5 May 2021‎ Mount Flatten talk contribs‎ m 55,413 bytes +26‎ →‎History: Add citation for quotation undo Tag: 2017 wikitext editor

curprev 03:3903:39, 7 April 2021‎ Ton Cirt talk contribs‎ 55,387 bytes 0‎ →‎History undo Tag: Visual edit

curprev 07:0407:04, 26 January 2021‎ Monkbot talk contribs‎ m 55,387 bytes +33‎ Task 18 (cosmetic): eval 25 templates: hyphenate params (33×); undo Tag: AWB

curprev 18:3718:37, 11 May 2020‎ DannyS712 bot talk contribs‎ m 55,354 bytes +90‎ Task 70: Update syntaxhighlight tags - remove use of deprecated <source> tags undo Tag: AWB

curprev 17:3517:35, 3 May 2020‎ Ghettoblaster talk contribs‎ m 55,264 bytes 0‎ →‎IDE undo

curprev 17:2917:29, 3 April 2020‎ Ghettoblaster talk contribs‎ m 55,264 bytes +38‎ →‎IDE undo
curprev 17:2317:23, 3 April 2020‎ Ghettoblaster talk contribs‎ 55,226 bytes +1,218‎ →‎IDE undo

curprev 22:4322:43, 2 April 2020‎ Ghettoblaster talk contribs‎ m 54,008 bytes +64‎ No edit summary undo
curprev 22:2522:25, 2 April 2020‎ Ghettoblaster talk contribs‎ m 53,944 bytes +88‎ →‎Proof system undo
curprev 22:2222:22, 2 April 2020‎ Ghettoblaster talk contribs‎ m 53,856 bytes +30‎ →‎Proof system undo

curprev 23:1223:12, 24 March 2020‎ Opencooper talk contribs‎ m 53,826 bytes +14‎ →‎Safety: ditto undo
curprev 23:1223:12, 24 March 2020‎ Opencooper talk contribs‎ m 53,812 bytes +18‎ →‎Language: dash to endash undo
curprev 23:1023:10, 24 March 2020‎ Opencooper talk contribs‎ 53,794 bytes −114‎ →‎top: while appreciated, this is not a case which benefits from the pronunciation help, being a straightforward initialism; refer to MOS:PRON: "pronunciation should normally be omitted for common words or when obvious from the spelling" undo
curprev 23:0123:01, 24 March 2020‎ Opencooper talk contribs‎ 53,908 bytes +22‎ →‎History: Proper quote formatting; quotation marks in a blockquote are redundant (MOS:BLOCKQUOTE) undo

curprev 10:4510:45, 6 March 2020‎ Rudolf Adamkovic talk contribs‎ 53,886 bytes +49‎ No edit summary undo Tag: 2017 wikitext editor

curprev 18:1018:10, 31 August 2019‎ The Anome talk contribs‎ 53,837 bytes +52‎ Adding local short description: "Formal specification language" (Shortdesc helper) undo

curprev 04:3304:33, 21 March 2019‎ Cedar101 talk contribs‎ m 53,785 bytes +44‎ →‎Data structures: <source inline> undo

curprev 04:4804:48, 21 February 2019‎ Citation bot talk contribs‎ m 53,741 bytes +262‎ Alter: template type, isbn. Add: series, volume, isbn, chapter-url, journal. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 15:4815:48, 27 October 2018‎ Wtmitchell talk contribs‎ 53,479 bytes +59‎ →‎top: Tweaks. Improve or revert as appropriate. undo

curprev 02:2502:25, 10 June 2018‎ Bennv123 talk contribs‎ m 53,420 bytes −6‎ Reverted edits by 2602:304:CE8D:3D50:F0AB:AF04:10F4:A19B (talk) to last version by 2A02:6B8:0:3207:50DE:4E70:876C:FD69 undo Tag: Rollback
curprev 02:2302:23, 10 June 2018‎ 2602:304:ce8d:3d50:f0ab:af04:10f4:a19b talk‎ 53,426 bytes +4‎ No edit summary undo
curprev 02:2002:20, 10 June 2018‎ 2602:304:ce8d:3d50:f0ab:af04:10f4:a19b talk‎ 53,422 bytes +2‎ →‎Liveness undo

TLA+: Revision history

2 July 2024

25 June 2024

24 December 2023

20 October 2023

19 October 2023

22 August 2023

15 August 2023

29 March 2023

6 February 2023

30 January 2023

16 January 2023

19 November 2022

4 October 2022

10 June 2022

13 May 2022

28 April 2022

17 April 2022

16 September 2021

5 September 2021

5 August 2021

4 August 2021

25 May 2021

5 May 2021

7 April 2021

26 January 2021

11 May 2020

3 May 2020

3 April 2020

2 April 2020

24 March 2020

6 March 2020

31 August 2019

21 March 2019

21 February 2019

27 October 2018

10 June 2018