Standard ML: 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 02:0102:01, 13 June 2024‎ Citation bot talk contribs‎ 32,963 bytes −29‎ Removed parameters. | Use this bot. Report bugs. | Suggested by Headbomb | Category:CS1 maint: DOI inactive as of June 2024 | #UCB_Category 268/305 undo

curprev 16:2216:22, 12 June 2024‎ InternetArchiveBot talk contribs‎ 32,992 bytes +107‎ Rescuing 1 sources and tagging 0 as dead.) #IABot (v2.0.9.5) (AManWithNoPlan - 19964 undo
curprev 13:0113:01, 12 June 2024‎ Citation bot talk contribs‎ 32,885 bytes +29‎ Added doi-broken-date. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 12:4712:47, 14 May 2024‎ Jerryobject talk contribs‎ 32,856 bytes +48‎ WP:LINK add. undo

curprev 08:4608:46, 10 May 2024‎ Jerryobject talk contribs‎ 32,808 bytes +46‎ →‎External links: WP:CATEGORYs: add, correct. undo

curprev 03:1103:11, 27 April 2024‎ 161.49.215.217 talk‎ 32,762 bytes +13‎ Add polyml undo Tags: Mobile edit Mobile web edit

curprev 14:0714:07, 26 March 2024‎ 2a02:810d:b640:1527:4bfb:853e:3ce7:f54f talk‎ 32,749 bytes −49‎ Simplify printLine example undo

curprev 09:3309:33, 27 February 2024‎ Jerryobject talk contribs‎ 32,798 bytes +19‎ →‎External links: WP:NAVBOX add. undo Tag: Disambiguation links added

curprev 09:2809:28, 18 February 2024‎ Guy Harris talk contribs‎ 32,779 bytes +2‎ →‎Hello world: Make the section name match what the program prints. undo
curprev 09:2809:28, 18 February 2024‎ Guy Harris talk contribs‎ 32,777 bytes +2‎ →‎Code examples: Call it by its name. undo

curprev 03:3003:30, 11 January 2024‎ Rlink2 talk contribs‎ m 32,775 bytes +157‎ →‎References: Adding PDF archives undo Tag: AWB

curprev 10:5010:50, 31 December 2023‎ Rageking890 talk contribs‎ m 32,618 bytes +171‎ No edit summary undo

curprev 05:3905:39, 16 November 2023‎ Jerryobject talk contribs‎ m 32,447 bytes +103‎ WP:LINKs: adds, update-standardizes. undo

curprev 10:4210:42, 14 November 2023‎ Jerryobject talk contribs‎ 32,344 bytes +22‎ Template:Infobox programming language, WP:REFerence WP:CITation parameters: reorders, update-standardizes, needless underscores > spaces, respaces, conform to master templates. WP:LINKs: update-standardizes, needless WP:PIPEs > WP:NOPIPEs, adds. Small WP:COPYEDITs WP:EoS WP:TERSE, 1st MOS:PERSON we fix. undo

curprev 22:4222:42, 19 September 2023‎ 81.187.46.72 talk‎ 32,322 bytes +1‎ →‎Hello world: doesn't actually compile... undo

curprev 18:0618:06, 25 August 2023‎ HeyElliott talk contribs‎ 32,321 bytes −10‎ →‎Partial application: MOS:NOTE undo Tag: 2017 wikitext editor

curprev 03:5403:54, 6 February 2023‎ Citation bot talk contribs‎ 32,331 bytes −94‎ Removed proxy/dead URL that duplicated identifier. Removed access-date with no URL. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 714/3850 undo

curprev 07:1007:10, 2 February 2023‎ 37.161.125.167 talk‎ 32,425 bytes −8‎ →‎Partial application undo Tags: Mobile edit Mobile web edit

curprev 21:5221:52, 30 September 2022‎ Lexi.lambda talk contribs‎ m 32,433 bytes −11‎ No edit summary undo

curprev 05:3805:38, 16 August 2022‎ OlliverWithDoubleL talk contribs‎ m 32,444 bytes +106‎ links, short description undo Tags: Mobile edit Mobile app edit iOS app edit

curprev 16:5016:50, 13 August 2022‎ Pricelessjosy talk contribs‎ 32,338 bytes +4‎ Added a link undo Tags: Visual edit Newcomer task Newcomer task: references

curprev 21:4921:49, 3 August 2022‎ Citation bot talk contribs‎ 32,334 bytes +21‎ Add: doi-access. | Use this bot. Report bugs. | Suggested by Headbomb | Linked from Wikipedia:WikiProject_Academic_Journals/Journals_cited_by_Wikipedia/Sandbox | #UCB_webform_linked 218/255 undo

curprev 04:0104:01, 28 July 2022‎ Citation bot talk contribs‎ 32,313 bytes +33‎ Add: bibcode. | Use this bot. Report bugs. | Suggested by Smasongarrison | Linked from User:Smasongarrison/sandbox | #UCB_webform_linked 1297/3850 undo
curprev 01:2301:23, 28 July 2022‎ David Eppstein talk contribs‎ 32,280 bytes +30‎ Jade Alglave undo

curprev 19:1919:19, 25 February 2022‎ InternetArchiveBot talk contribs‎ 32,250 bytes +212‎ Rescuing 2 sources and tagging 0 as dead.) #IABot (v2.0.8.6) (Whoop whoop pull up - 9540 undo

curprev 23:1923:19, 10 January 2022‎ Llama Linguist talk contribs‎ 32,038 bytes +155‎ →‎Standard: Capitalize "Basis Library" and add citation undo Tag: Visual edit

curprev 05:1905:19, 20 December 2021‎ Citation bot talk contribs‎ 31,883 bytes +96‎ Alter: template type. Add: doi, page, issue, volume, year, journal. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Articles needing cleanup from November 2021 | #UCB_Category 282/440 undo

curprev 17:4217:42, 23 November 2021‎ Dgpop talk contribs‎ 31,787 bytes +115‎ →‎Language: section is written like a tutorial w/editorializing undo
curprev 17:3717:37, 23 November 2021‎ Dgpop talk contribs‎ 31,672 bytes −10‎ →‎Functors: MOS:NOTED undo
curprev 17:3617:36, 23 November 2021‎ Dgpop talk contribs‎ 31,682 bytes −22‎ →‎Exceptions: MOS:NOTED undo

curprev 08:5708:57, 29 October 2021‎ 170.199.25.234 talk‎ 31,704 bytes −68‎ improved code undo

curprev 22:3522:35, 13 October 2021‎ 170.199.25.234 talk‎ 31,772 bytes −339‎ organising references undo

curprev 10:4510:45, 15 September 2021‎ 170.199.25.185 talk‎ 32,111 bytes +4‎ include link undo
curprev 08:5108:51, 15 September 2021‎ 170.199.25.185 talk‎ 32,107 bytes +3‎ unconstructive edit undo

curprev 13:2513:25, 13 September 2021‎ 170.199.25.185 talk‎ 32,104 bytes +98‎ unconstructive edit undo

curprev 11:0611:06, 11 September 2021‎ 170.199.25.185 talk‎ 32,006 bytes +39‎ unconstructive edit undo

curprev 14:4414:44, 16 August 2021‎ 170.199.25.39 talk‎ 31,967 bytes +25‎ include other links undo
curprev 12:1012:10, 16 August 2021‎ 170.199.25.39 talk‎ 31,942 bytes +57‎ include other links undo
curprev 10:0810:08, 16 August 2021‎ 170.199.25.39 talk‎ 31,885 bytes +314‎ include reference from HOL article undo
curprev 09:5409:54, 16 August 2021‎ 170.199.25.39 talk‎ 31,571 bytes +34‎ link to unit type and side effect undo

curprev 19:1719:17, 14 August 2021‎ 170.199.25.39 talk‎ 31,537 bytes −44‎ erase link to a section that never needed to exist in the first place undo

curprev 03:5503:55, 9 June 2021‎ 170.199.25.231 talk‎ 31,581 bytes +66‎ →‎External links: external link to the revised definition of standard ml undo

curprev 05:5805:58, 8 June 2021‎ 170.199.25.231 talk‎ 31,515 bytes −5‎ delete redundant template parameter undo

curprev 23:4823:48, 7 June 2021‎ 170.199.25.231 talk‎ 31,520 bytes +20‎ restore reference undo
curprev 13:1113:11, 7 June 2021‎ 170.199.25.231 talk‎ 31,500 bytes −16‎ →‎Implementations: delete red links & condense undo

curprev 12:3612:36, 6 June 2021‎ 170.199.25.231 talk‎ 31,516 bytes +5‎ →‎External links: replace dead link & link to reference implementation on github undo
curprev 00:3500:35, 6 June 2021‎ 170.199.25.231 talk‎ 31,511 bytes −18‎ →‎Expression interpreter: static alpha conversion undo

curprev 08:1308:13, 5 June 2021‎ 170.199.25.231 talk‎ 31,529 bytes +3‎ spacing undo
curprev 08:0808:08, 5 June 2021‎ 170.199.25.231 talk‎ 31,526 bytes +24‎ refactor headings undo
curprev 05:5605:56, 5 June 2021‎ Tea2min talk contribs‎ 31,502 bytes +12‎ →‎Implementations: Per MOS:NOSECTIONLINKS and MOS:PSEUDOHEAD, do not misuse description list markup to create pseudo-headings. undo

13 June 2024

12 June 2024

14 May 2024

10 May 2024

27 April 2024

26 March 2024

27 February 2024

18 February 2024

11 January 2024

31 December 2023

16 November 2023

14 November 2023

19 September 2023

25 August 2023

6 February 2023

2 February 2023

30 September 2022

16 August 2022

13 August 2022

3 August 2022

28 July 2022

25 February 2022

10 January 2022

20 December 2021

23 November 2021

29 October 2021

13 October 2021

15 September 2021

13 September 2021

11 September 2021

16 August 2021

14 August 2021

9 June 2021

8 June 2021

7 June 2021

6 June 2021

5 June 2021