User contributions for 170.199.25.231

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

06:4006:40, 10 June 2021 diff hist −164 Funeral →Italy: nothing of import in the paragraph; forward to a full article Tag: Reverted
06:3206:32, 10 June 2021 diff hist −53 Funeral →Greece: section has been blank for 2+ years Tags: Reverted section blanking
01:4001:40, 10 June 2021 diff hist +3,323 Talk:Katya Zamolodchikova Undid revision 1027793421: no thanks, it can stay here Tags: Undo Reverted
01:2901:29, 10 June 2021 diff hist +3,323 Talk:Katya Zamolodchikova →secondary opinions: new section Tag: Reverted

03:5503:55, 9 June 2021 diff hist +66 Standard ML →External links: external link to the revised definition of standard ml

12:3612:36, 6 June 2021 diff hist +5 Standard ML →External links: replace dead link & link to reference implementation on github
10:0210:02, 6 June 2021 diff hist +243 I Like to Watch impartial content: origin of the title (judgement free zone)
00:3500:35, 6 June 2021 diff hist −18 Standard ML →Expression interpreter: static alpha conversion

10:5910:59, 5 June 2021 diff hist +46 Mongolian idiocy link Tag: Reverted
09:5409:54, 5 June 2021 diff hist +52 Zhyd details with links (no obvious enhancement)
08:1308:13, 5 June 2021 diff hist +3 Standard ML spacing
08:0808:08, 5 June 2021 diff hist +24 Standard ML refactor headings
05:0605:06, 5 June 2021 diff hist −59 Standard ML →Arbitrary-precision integers: merge tables
05:0305:03, 5 June 2021 diff hist −59 Standard ML merge tables
05:0005:00, 5 June 2021 diff hist −123 Concurrent ML merge tables Tag: possible vandalism
04:4904:49, 5 June 2021 diff hist +11 CML link & spaces
04:4204:42, 5 June 2021 diff hist +2 ML (programming language) →See also: rearranging
02:4102:41, 5 June 2021 diff hist +23 Concurrent ML syntax highlighting and templates
00:3600:36, 5 June 2021 diff hist +28 Satisfiability modulo theories link to standard ml implementations Tag: Reverted
00:3400:34, 5 June 2021 diff hist +56 Proof assistant link to standard ml implementations Tag: Reverted
00:3200:32, 5 June 2021 diff hist +56 HOL (proof assistant) link to standard ml implementations Tag: Reverted
00:2800:28, 5 June 2021 diff hist −479 ML (programming language) move standard ml implementation descriptions to article on standard ml
00:2700:27, 5 June 2021 diff hist +36 Standard ML →Implementations: merge with implementation descriptions from article on ml