Vienna Development Method: 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:0805:08, 24 July 2024 Cedar101 talk contribs 42,257 bytes −84 replace lang="prolog" with lang="rsl" (another formal specification language) undo
curprev 04:5404:54, 24 July 2024 Cedar101 talk contribs m 42,341 bytes −5 →Basic types: numeric, character, token and quote types: lang="bnf" undo
curprev 04:5304:53, 24 July 2024 Cedar101 talk contribs m 42,346 bytes −9 →Type constructors: union, product and composite types: lang="bnf" undo
curprev 03:0803:08, 24 July 2024 Kvng talk contribs 42,355 bytes +10 avoid unnec redirect undo

curprev 22:4822:48, 3 April 2024 Widefox talk contribs 42,345 bytes +1,657 code markup, move EXT -> EXT undo

curprev 03:4903:49, 23 February 2024 BD2412 talk contribs m 40,688 bytes +2 clean up spacing around commas and other punctuation fixes, replaced: ,M → , M, ,T → , T (2), ,a → , a, ,b → , b, ,f → , f, ,j → , j (5), ,m → , m, ,o → , o, ,r → , r (2), ,s → , s, ,y → , y, ,2001 → , 2001 (2) undo Tag: AWB

curprev 09:4409:44, 12 January 2024 DeerBrondm00n talk contribs 40,686 bytes +3 No edit summary undo Tag: Visual edit

curprev 11:3411:34, 7 May 2023 InternetArchiveBot talk contribs 40,683 bytes +328 Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.9.3) (Eastmain - 13643 undo

curprev 17:1317:13, 7 April 2023 130.225.16.16 talk 40,355 bytes +108 →Tool support undo

curprev 16:1416:14, 3 January 2023 Citation bot talk contribs 40,247 bytes +34 Add: s2cid. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 788/2500 undo

curprev 19:0519:05, 17 October 2022 JoeNMLC talk contribs 40,213 bytes +45 →Examples: ce, add Further - Meta-IV (specification language) undo

curprev 04:2204:22, 27 September 2022 Paul Foxworthy talk contribs m 40,168 bytes 0 Correct spelling of META II undo

curprev 20:2320:23, 14 October 2021 Kvng talk contribs m 40,168 bytes −12 mv {{FOLDOC}} to talk undo

curprev 03:1203:12, 11 October 2021 GreenC bot talk contribs 40,180 bytes +2 Move 2 urls. Wayback Medic 2.5 undo

curprev 01:5001:50, 26 August 2021 Cedar101 talk contribs 40,178 bytes −127 →Refinement: replace wiki table with latex table using \xrightarrow undo

curprev 13:3813:38, 15 December 2020 Maxeto0910 talk contribs 40,305 bytes +89 Added short description. undo Tags: Mobile edit Mobile web edit Advanced mobile edit

curprev 01:2401:24, 6 September 2020 Anthrópinos81638 talk contribs m 40,216 bytes +99 Replaces obsolete tag. undo

curprev 17:3217:32, 18 March 2020 Citation bot talk contribs m 40,117 bytes −75 Add: doi. Removed URL that duplicated unique identifier. | You can use this bot yourself. Report bugs here. | Activated by User:AManWithNoPlan | All pages linked from User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked undo

curprev 20:3920:39, 23 January 2020 Nyq talk contribs m 40,192 bytes +7 Decapitalized common nouns in section heading as per MOS:SECTIONCAPS and in table headers undo Tag: Visual edit

curprev 02:4102:41, 9 September 2019 Dawnseeker2000 talk contribs 40,185 bytes +6 fixed dashes using a script, date formats per MOS:DATEFORMAT by script undo
curprev 02:4102:41, 9 September 2019 Dawnseeker2000 talk contribs 40,179 bytes −96 Typo fixing, MOS:STRAIGHT, typo(s) fixed: language’s → language's (2) undo Tag: AWB

curprev 20:4520:45, 13 February 2019 86.52.15.184 talk 40,275 bytes +265 Add vdm-mode to tool support section undo

curprev 14:0814:08, 29 January 2019 Citation bot talk contribs m 40,010 bytes −76 Alter: isbn. Add: doi. Removed parameters. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 11:4111:41, 5 October 2018 192.38.134.183 talk 40,086 bytes +8 →The max function: Added missing word undo Tags: Mobile edit Mobile web edit

curprev 22:2922:29, 23 July 2018 InternetArchiveBot talk contribs 40,078 bytes −4 Rescuing 1 sources and tagging 0 as dead. #IABot (v2.0beta2) undo

curprev 18:5318:53, 17 September 2017 KolbertBot talk contribs m 40,082 bytes +4 Bot: HTTP→HTTPS undo

curprev 22:3222:32, 2 July 2017 PrimeBOT talk contribs m 40,078 bytes +36 Replace magic links with templates per local RfC - BRFA undo

curprev 22:0622:06, 4 April 2017 Peter Flass talk contribs 40,042 bytes +1 →External links undo
curprev 22:0522:05, 4 April 2017 Peter Flass talk contribs 40,041 bytes +77 →External links: dead link undo
curprev 21:3121:31, 4 April 2017 24.85.232.10 talk 39,964 bytes 0 No edit summary undo

curprev 15:5215:52, 2 February 2017 5.148.8.196 talk 39,964 bytes 0 No edit summary undo
curprev 15:5215:52, 2 February 2017 5.148.8.196 talk 39,964 bytes 0 No edit summary undo

curprev 01:0901:09, 25 July 2016 Peter Flass talk contribs 39,964 bytes +6 link vienna labs undo

curprev 12:5012:50, 6 July 2016 Dewritech talk contribs 39,958 bytes +2 clean up, typo(s) fixed: For example → For example, (2) using AWB undo

curprev 13:2813:28, 9 June 2016 Jochen Burghardt talk contribs 39,956 bytes +27 →Further reading: fix bib. entry from Springer page undo
curprev 13:2113:21, 9 June 2016 Jochen Burghardt talk contribs 39,929 bytes +63 →top: open url; Bekic died in 1982, Jones' 1984 book is devoted to his work undo
curprev 12:5112:51, 9 June 2016 Jochen Burghardt talk contribs 39,866 bytes +170 →History: open url for intro (incl. cited p. ix, xi) undo

curprev 17:3217:32, 28 April 2016 Dcirovic talk contribs 39,696 bytes −13 Reverted 1 good faith edit by 2.24.193.130 using STiki undo
curprev 17:0917:09, 28 April 2016 2.24.193.130 talk 39,709 bytes +13 →Philosophy undo

curprev 18:0018:00, 12 April 2016 83.57.6.198 talk 39,696 bytes −14 →Basic Types: numeric, character, token and quote types: Delete garbage undo

curprev 01:4601:46, 8 January 2016 Wasted Time R talk contribs 39,710 bytes +412 →Industrial experience: clarify organization, add source, add link undo

curprev 23:0723:07, 11 December 2015 Magioladitis talk contribs m 39,298 bytes +6 Cleaned up using AutoEd undo

curprev 18:3418:34, 22 October 2015 Midas02 talk contribs m 39,292 bytes +35 Disambiguating links to CSP (link changed to Communicating sequential processes) using DisamAssist. undo

curprev 05:4005:40, 20 October 2015 202.31.201.70 talk 39,257 bytes +14 →Basic Types: numeric, character, token and quote types undo
curprev 05:3905:39, 20 October 2015 202.31.201.70 talk 39,243 bytes +3 →Basic Types: numeric, character, token and quote types undo
curprev 05:3805:38, 20 October 2015 202.31.201.70 talk 39,240 bytes +6 →Basic Types: numeric, character, token and quote types undo

curprev 11:3511:35, 1 August 2015 MarkMLl talk contribs m 39,234 bytes +209 →History: Distance Meta-IV from Schorre's similarly-named earlier work. undo
curprev 11:0711:07, 1 August 2015 MarkMLl talk contribs m 39,025 bytes +16 →History: Text needs to emphasise that Meta-IV was not used to define APL, BASIC etc. during their development. undo

curprev 23:4223:42, 19 July 2015 Trappist the monk talk contribs m 39,009 bytes −14 →Further reading: replace/remove deprecated cs1|2 parameters; using AWB undo

curprev 14:4214:42, 2 October 2014 137.222.114.242 talk 39,023 bytes −1 extra parenthesis removed undo

24 July 2024

3 April 2024

23 February 2024

12 January 2024

7 May 2023

7 April 2023

3 January 2023

17 October 2022

27 September 2022

14 October 2021

11 October 2021

26 August 2021

15 December 2020

6 September 2020

18 March 2020

23 January 2020

9 September 2019

13 February 2019

29 January 2019

5 October 2018

23 July 2018

17 September 2017

2 July 2017

4 April 2017

2 February 2017

25 July 2016

6 July 2016

9 June 2016

28 April 2016

12 April 2016

8 January 2016

11 December 2015

22 October 2015

20 October 2015

1 August 2015

19 July 2015

2 October 2014