Guarded Command Language: Revision history

7 July 2024

• curprev 21:4621:46, 7 July 2024‎ Macrakis talk contribs‎ 11,654 bytes +298‎ guards can be evaluated in any order undo Tag: Visual edit
• curprev 18:4618:46, 7 July 2024‎ Macrakis talk contribs‎ 11,356 bytes −241‎ improve wording undo Tag: Visual edit

3 July 2024

• curprev 22:3022:30, 3 July 2024‎ Macrakis talk contribs‎ 11,597 bytes +76‎ Adding local short description: "Dijkstra notation with non-deterministic conditionals", overriding Wikidata description "formal language for predicate transformer semantics introduced by by Edsger Dijkstra" undo Tag: Shortdesc helper

22 July 2023

• curprev 14:1714:17, 22 July 2023‎ Cedar101 talk contribs‎ m 11,521 bytes 0‎ {{mono}} {{code}} undo

9 May 2023

• curprev 15:4115:41, 9 May 2023‎ Stefncb talk contribs‎ m 11,521 bytes −4‎ Removed bogus link to chemistry-related article. undo Tags: Visual edit Mobile edit Mobile web edit Advanced mobile edit

7 May 2023

• curprev 09:5209:52, 7 May 2023‎ 2a01:4b00:d108:2500:f018:e988:1a64:6624 talk‎ 11,525 bytes 0‎ →‎Non-deterministic sort undo

4 January 2023

• curprev 00:4000:40, 4 January 2023‎ Citation bot talk contribs‎ 11,525 bytes +117‎ Add: s2cid, isbn, doi. Upgrade ISBN10 to 13. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1190/2500 undo

8 November 2022

• curprev 22:2822:28, 8 November 2022‎ 2603:8000:d800:22bd:2c9e:83e:69c0:8ad0 talk‎ 11,408 bytes −132‎ →‎Semantics undo Tag: section blanking

14 September 2022

• curprev 10:1010:10, 14 September 2022‎ DavidGries talk contribs‎ 11,540 bytes −58‎ Removed the note saying that more citations are needed. The four books together with EWD472 should be enough undo
• curprev 09:3609:36, 14 September 2022‎ DavidGries talk contribs‎ 11,598 bytes +132‎ →‎Selection: if undo
• curprev 09:3509:35, 14 September 2022‎ DavidGries talk contribs‎ 11,466 bytes −145‎ →‎if fi undo
• curprev 09:3409:34, 14 September 2022‎ DavidGries talk contribs‎ 11,611 bytes +139‎ →‎Semantics undo
• curprev 09:3209:32, 14 September 2022‎ DavidGries talk contribs‎ 11,472 bytes −102‎ →‎do od undo
• curprev 09:3109:31, 14 September 2022‎ DavidGries talk contribs‎ m 11,574 bytes −5‎ →‎if fi undo
• curprev 09:3009:30, 14 September 2022‎ DavidGries talk contribs‎ m 11,579 bytes −4‎ →‎do od undo

13 September 2022

• curprev 21:4521:45, 13 September 2022‎ DavidGries talk contribs‎ 11,583 bytes +323‎ added the Dijkstra-Feijen book undo
• curprev 20:4520:45, 13 September 2022‎ DavidGries talk contribs‎ 11,260 bytes +140‎ redid the definition of execution of the repetition, added examples if fi and do od, other minor changes undo
• curprev 17:1417:14, 13 September 2022‎ DavidGries talk contribs‎ 11,120 bytes +135‎ →‎Repetition: do undo
• curprev 17:0917:09, 13 September 2022‎ DavidGries talk contribs‎ 10,985 bytes −162‎ put in a box for | where necessary, made many changes to improve text undo
• curprev 15:4915:49, 13 September 2022‎ BattyBot talk contribs‎ m 11,147 bytes +10‎ Fixed CS1 maint: extra punctuation and general fixes undo Tag: AWB
• curprev 15:2415:24, 13 September 2022‎ DavidGries talk contribs‎ 11,137 bytes +1,182‎ Added to the lead undo
• curprev 14:4914:49, 13 September 2022‎ DavidGries talk contribs‎ 9,955 bytes −21‎ edited the lead section undo
• curprev 12:0112:01, 13 September 2022‎ DavidGries talk contribs‎ 9,976 bytes +700‎ added to the lead section undo
• curprev 10:5210:52, 13 September 2022‎ DavidGries talk contribs‎ m 9,276 bytes +3‎ →‎Simple: replaced bar | by □ undo

19 January 2022

• curprev 05:5405:54, 19 January 2022‎ Citation bot talk contribs‎ 9,273 bytes −24‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Ost316 | Category:Articles covered by WikiProject Wikify from October 2021‎ | #UCB_Category 620/700 undo

30 October 2021

• curprev 17:3217:32, 30 October 2021‎ Dgpop talk contribs‎ 9,297 bytes +60‎ →‎top: multiple issues undo

26 August 2021

• curprev 01:2801:28, 26 August 2021‎ Cedar101 talk contribs‎ 9,237 bytes +23‎ →‎Examples undo

24 August 2021

• curprev 08:1008:10, 24 August 2021‎ Cedar101 talk contribs‎ m 9,214 bytes +48‎ →‎Assignment: {{sub}} undo

28 May 2021

• curprev 14:4514:45, 28 May 2021‎ Lê Khánh Hùng talk contribs‎ 9,166 bytes −3‎ →‎Arg max undo
• curprev 14:4414:44, 28 May 2021‎ Lê Khánh Hùng talk contribs‎ m 9,169 bytes −2‎ →‎Extended Euclidean algorithm undo

19 April 2021

• curprev 17:4917:49, 19 April 2021‎ RealFakeKim talk contribs‎ 9,171 bytes −72‎ Unicodifying undo Tag: AWB

21 July 2020

• curprev 22:2722:27, 21 July 2020‎ Lucas Werkmeister talk contribs‎ m 9,243 bytes −6‎ Undid revision 960686930 by Protv9 (talk) undo Tag: Undo

4 June 2020

• curprev 10:1410:14, 4 June 2020‎ Protv9 talk contribs‎ 9,249 bytes +6‎ Protv9 undo Tags: Visual edit Mobile edit Mobile web edit

13 March 2020

• curprev 18:0018:00, 13 March 2020‎ LilHelpa talk contribs‎ m 9,243 bytes 0‎ copy edit undo

4 March 2020

• curprev 15:3115:31, 4 March 2020‎ AlainD talk contribs‎ 9,243 bytes −4‎ →‎Selection: if undo
• curprev 09:2109:21, 4 March 2020‎ AlainD talk contribs‎ 9,247 bytes +203‎ →‎Original Euclidean algorithm undo

3 March 2020

• curprev 18:1318:13, 3 March 2020‎ AlainD talk contribs‎ 9,044 bytes +1‎ →‎Original Euclidean algorithm undo
• curprev 18:1218:12, 3 March 2020‎ AlainD talk contribs‎ 9,043 bytes −7‎ →‎Arg max undo
• curprev 18:1118:11, 3 March 2020‎ AlainD talk contribs‎ 9,050 bytes +3‎ →‎Arg max undo
• curprev 18:0918:09, 3 March 2020‎ AlainD talk contribs‎ 9,047 bytes +2‎ →‎Extended Euclidean algorithm undo
• curprev 18:0718:07, 3 March 2020‎ AlainD talk contribs‎ 9,045 bytes +811‎ →‎Examples undo

21 September 2019

• curprev 20:0920:09, 21 September 2019‎ Monkbot talk contribs‎ m 8,234 bytes −2‎ →‎Programs correct by construction: Task 16: replaced (1×) / removed (0×) deprecated |dead-url= and |deadurl= with |url-status=; undo Tag: AWB

15 December 2017

• curprev 05:2305:23, 15 December 2017‎ InternetArchiveBot talk contribs‎ 8,236 bytes +203‎ Rescuing 1 sources and tagging 0 as dead. #IABot (v1.6.1) (Balon Greyjoy) undo

6 June 2017

• curprev 21:5821:58, 6 June 2017‎ Zingvin talk contribs‎ 8,033 bytes −30‎ removed Category:Dutch inventions using HotCat undo

21 March 2017

• curprev 19:1219:12, 21 March 2017‎ Zingvin talk contribs‎ 8,063 bytes +20‎ No edit summary undo

14 March 2017

• curprev 08:1908:19, 14 March 2017‎ Cedar101 talk contribs‎ m 8,043 bytes −324‎ → undo

27 January 2017

• curprev 04:2204:22, 27 January 2017‎ Dicklyon talk contribs‎ 8,367 bytes 0‎ →‎Use of Skip: case undo
• curprev 04:2204:22, 27 January 2017‎ Dicklyon talk contribs‎ 8,367 bytes 0‎ →‎Applications: head case fixes undo
• curprev 04:2104:21, 27 January 2017‎ Dicklyon talk contribs‎ 8,367 bytes 0‎ →‎Asynchronous Circuits: ce undo

3 July 2016

• curprev 21:3021:30, 3 July 2016‎ DMacks talk contribs‎ m 8,367 bytes +30‎ Reverted edits by Culturefanatic12 (talk) to last version by 14.161.3.158 undo