Specification 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 11:1811:18, 2 July 2024 Explicit talk contribs m 4,947 bytes −35 Removing link(s) undefined (XFDcloser) undo

curprev 18:1018:10, 28 May 2024 Jayaprabhakar talk contribs 4,982 bytes +287 Added FizzBee specification language undo

curprev 20:0920:09, 15 September 2023 Stephenamills talk contribs m 4,695 bytes −3 →Overview undo Tag: Visual edit
curprev 20:0820:08, 15 September 2023 Stephenamills talk contribs m 4,698 bytes −8 →Overview: Style and brevity edit undo Tag: Visual edit

curprev 23:1723:17, 18 December 2022 A455bcd9 talk contribs 4,706 bytes +63 Adding local short description: "Formal language used in computer science", overriding Wikidata description "formal language used in computer science" undo Tag: Shortdesc helper

curprev 16:3916:39, 3 December 2022 Meno25 talk contribs 4,643 bytes +1 →See also undo

curprev 23:3023:30, 10 February 2022 Allforrous talk contribs 4,642 bytes +64 →References: Commonscatinline template. undo

curprev 09:2309:23, 23 January 2022 JJMC89 bot III talk contribs m 4,578 bytes +1 Moving Category:Scientific modeling to Category:Scientific modelling per Wikipedia:Categories for discussion/Speedy undo

curprev 14:3514:35, 28 December 2021 Conan talk contribs m 4,577 bytes −34 Aready in Category:Specification languages, WP:SUBCAT undo

curprev 16:2216:22, 16 September 2021 Dabed talk contribs 4,611 bytes +32 Added Category:Formal specification undo

curprev 15:2615:26, 2 September 2021 Artoria2e5 talk contribs 4,579 bytes +66 →Languages undo

curprev 21:5121:51, 24 June 2021 Simon1791 talk contribs 4,513 bytes +133 source undo

curprev 20:4220:42, 1 June 2021 2.100.170.76 talk 4,380 bytes +11 Changed the name of one of the listed Languages and linked the appropriate page undo Tag: Visual edit

curprev 07:5807:58, 4 March 2021 103.121.151.180 talk 4,369 bytes +3 Added another high level programming language in the existing list. undo Tag: Visual edit

curprev 03:1103:11, 2 January 2021 TimSmit talk contribs 4,366 bytes +36 →Languages: Added MML, see also here undo

curprev 19:3219:32, 14 December 2020 Monkbot talk contribs m 4,330 bytes −6 Task 18 (cosmetic): eval 2 templates: del empty params (1×); hyphenate params (3×); undo Tag: AWB

curprev 15:3715:37, 21 November 2020 Citation bot talk contribs 4,336 bytes −160 Alter: chapterurl. URLs might have been internationalized/anonymized. Add: author pars. 1-1. Removed parameters. Some additions/deletions were actually parameter name changes. | You can use this bot yourself. Report bugs here. | Suggested by AManWithNoPlan | All pages linked from cached copy of User:AManWithNoPlan/sandbox2 | via #UCB_webform_linked 178/3680 undo

curprev 20:1020:10, 15 November 2020 Me, Myself, and I are Here talk contribs m 4,496 bytes 0 →See also: alpha undo
curprev 20:0720:07, 15 November 2020 Me, Myself, and I are Here talk contribs m 4,496 bytes −2 →Overview: cap, dashes undo

curprev 17:4317:43, 2 May 2020 Omnipaedista talk contribs 4,498 bytes +13 resectioning per WP:LEAD undo

curprev 01:1201:12, 24 March 2020 RDBrown talk contribs 4,485 bytes +226 →Cite book, tweak cite undo

curprev 14:4614:46, 9 February 2019 FreeSis talk contribs 4,259 bytes +43 No edit summary undo

curprev 14:0914:09, 7 February 2019 FreeSis talk contribs 4,216 bytes +13 →Languages: Add E-LOTOS undo

curprev 17:1817:18, 7 December 2018 Marchcid talk contribs m 4,203 bytes +1 Added a "," undo Tag: Visual edit

curprev 02:1002:10, 24 May 2018 Donner60 talk contribs m 4,202 bytes −17 Reverted edits by 103.242.98.126 (talk): not adhering to manual of style (HG) (3.3.5) undo Tags: Huggle Rollback
curprev 02:0902:09, 24 May 2018 103.242.98.126 talk 4,219 bytes +17 No edit summary undo Tags: Mobile edit Mobile web edit

curprev 13:3813:38, 1 April 2018 89.15.177.5 talk 4,202 bytes −40 Removed Julia from the list, since it's not a specification language undo

curprev 03:1803:18, 13 September 2017 Jarble talk contribs m 4,242 bytes +473 →Languages: Attempto Controlled English has also been used as a specification language. undo

curprev 22:1122:11, 23 May 2017 Jennica talk contribs 3,769 bytes −1 switch undo

curprev 07:3707:37, 7 May 2017 213.89.137.34 talk 3,770 bytes +37 added link to SMV ("symbolic model verification"). i hope it is suitable. undo Tag: Visual edit

curprev 07:1707:17, 1 November 2016 Bender the Bot talk contribs m 3,733 bytes +1 →Languages: http→https for Google Books and Google News using AWB undo

curprev 14:0514:05, 10 September 2016 66.62.117.173 talk 3,732 bytes +40 Added Julia to the list of languages. undo Tag: Visual edit

curprev 08:2608:26, 2 September 2016 109.65.136.175 talk 3,692 bytes +10 →Languages undo

curprev 05:0605:06, 24 August 2016 I dream of horses talk contribs m 3,682 bytes +1 clean up using AWB undo

curprev 21:0121:01, 29 June 2016 Tom.Reding talk contribs m 3,681 bytes −19 →See also: Rem stub tag (class = non-stub & non-list) using AWB undo

curprev 16:1116:11, 2 February 2016 DougBoost talk contribs m 3,700 bytes +15 →Languages undo

curprev 22:2022:20, 6 July 2014 Xqbot talk contribs m 3,685 bytes +33 Bot: Adding missing <references /> tag undo
curprev 16:2016:20, 6 July 2014 MadScientistX11 talk contribs 3,652 bytes +517 →Languages: Added Refine to spec languages and added reference undo

curprev 10:5910:59, 11 February 2014 2001:660:7301:3728:2c81:aee3:f9d5:9e08 talk 3,135 bytes 0 →Languages undo
curprev 10:5510:55, 11 February 2014 2001:660:7301:3728:2c81:aee3:f9d5:9e08 talk 3,135 bytes −1 →Languages undo
curprev 10:5410:54, 11 February 2014 2001:660:7301:3728:2c81:aee3:f9d5:9e08 talk 3,136 bytes +57 →Languages undo

curprev 14:4614:46, 8 February 2014 Ysangkok talk contribs 3,079 bytes +50 →Languages: main Category:Formal specification languages undo

curprev 14:4614:46, 15 January 2014 Stan.manilov talk contribs 3,029 bytes −6 No edit summary undo

curprev 06:2806:28, 2 October 2013 Doug4 talk contribs 3,035 bytes −55 I revised the first two lead paragraphs. undo
curprev 06:0306:03, 2 October 2013 Doug4 talk contribs 3,090 bytes −54 I rewrote the lead paragraph. undo

curprev 09:0409:04, 2 June 2013 Favonian talk contribs 3,144 bytes +36 Undid revision 557943219 by Reisio (talk) it is indeed unreferenced undo
curprev 08:0008:00, 2 June 2013 Reisio talk contribs m 3,108 bytes −36 thanks for nothing, SmackBot undo

curprev 13:2513:25, 21 April 2013 Kohenkatz talk contribs 3,144 bytes +42 →Languages: added Alloy to list of languages undo

curprev 23:5923:59, 26 February 2013 Addbot talk contribs m 3,102 bytes −333 Bot: Migrating 10 interwiki links, now provided by Wikidata on d:q1209840 (Report Errors) undo

curprev 22:2922:29, 1 February 2013 Andy Dingley talk contribs 3,435 bytes +61 cat undo

2 July 2024

28 May 2024

15 September 2023

18 December 2022

3 December 2022

10 February 2022

23 January 2022

28 December 2021

16 September 2021

2 September 2021

24 June 2021

1 June 2021

4 March 2021

2 January 2021

14 December 2020

21 November 2020

15 November 2020

2 May 2020

24 March 2020

9 February 2019

7 February 2019

7 December 2018

24 May 2018

1 April 2018

13 September 2017

23 May 2017

7 May 2017

1 November 2016

10 September 2016

2 September 2016

24 August 2016

29 June 2016

2 February 2016

6 July 2014

11 February 2014

8 February 2014

15 January 2014

2 October 2013

2 June 2013

21 April 2013

26 February 2013

1 February 2013