Related changes
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are shown in bold with a green bullet. See more at Help:Related changes.
List of abbreviations (help):
- D
- Edit made at Wikidata
- r
- Edit flagged by ORES
- N
- New page
- m
- Minor edit
- b
- Bot edit
- (±123)
- Page byte size change
- Temporarily watched page
6 June 2024
- diffhist m E-graph 20:32 +1 Greg sullivan talk contribs (minor: (V, Sigma) -> (Sigma, V) in definition of Term. All other uses of Term have (Sigma, V))
- diffhist m Turing machine 17:05 −2 Hooman Mallahzadeh talk contribs (→Additional details required to visualise or implement Turing machines)
- diffhist Type system 14:28 0 Dinsm8re talk contribs (wording arrangement) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Type system 14:18 −4 Dinsm8re talk contribs (removed red link) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Linear logic 12:33 +469 Noamz talk contribs (restoring remark with better reference to tech report)
- diffhist Software testing 11:03 −1 5.151.147.233 talk (→Economics: removed unnecessary comma.) Tag: Visual edit
- diffhist Mizar system 06:48 −49 David Eppstein talk contribs (→References: I don't see specific citations that look incomplete; maybe those ones should be individually tagged)
- diffhist Mizar system 06:47 +735 David Eppstein talk contribs (fix two refs)
- diffhist Linear logic 06:21 −425 David Eppstein talk contribs (→Decidability/complexity of entailment: rm claim with bogus reference. https://dblp.org/db/conf/apn/apn1989.html lists nothing matching from that conference, and https://dblp.org/pid/g/CarlAGunter.html lists only an unrelated paper with Gehlot.)
- Deletion log 00:45 Drmies talk contribs changed visibility of a revision on page Programming language: content hidden, edit summary hidden and username hidden (RD3: Purely disruptive material)
- Deletion log 00:45 Drmies talk contribs changed visibility of 2 revisions on page Python (programming language): content hidden, edit summary hidden and username hidden (RD3: Purely disruptive material)
5 June 2024
- diffhist m Idempotence 21:00 −11 Discospinster talk contribs (Reverted edits by 203.211.106.202 (talk) (HG) (3.4.12)) Tags: Huggle Rollback
- diffhist Idempotence 20:59 +11 203.211.106.202 talk (Added) Tags: Reverted Mobile edit Mobile web edit
- diffhist University of Arizona 10:11 −23 ElKevbo talk contribs (Revert to revision 1227348346 dated 2024-06-05 05:55:40 by ClueBot NG using popups) Tag: Manual revert
- diffhist C (programming language) 06:09 −49 Annh07 talk contribs (Reverted 1 pending edit by 2001:4454:328:7700:E559:9B5:5DFD:548B to revision 1226373604 by Jochen Burghardt: non-constructive) Tag: Manual revert
- diffhist University of Arizona 05:56 +23 2600:8800:1600:97:b0f1:c229:89dd:7a8a talk Tags: Reverted Mobile edit Mobile web edit
- diffhist m University of Arizona 05:55 +1 ClueBot NG talk contribs (Reverting possible vandalism by 2600:8800:1600:97:B0F1:C229:89DD:7A8A to version by Sock-the-guy. Report False Positive? Thanks, ClueBot NG. (4328806) (Bot)) Tag: Rollback
- diffhist University of Arizona 05:55 +9 2600:8800:1600:97:b0f1:c229:89dd:7a8a talk Tags: Reverted Mobile edit Mobile web edit
- diffhist C (programming language) 05:55 +49 2001:4454:328:7700:e559:9b5:5dfd:548b talk (→ANSI C and ISO C) Tags: Reverted Visual edit: Switched
- diffhist University of Arizona 05:53 −10 2600:8800:1600:97:b0f1:c229:89dd:7a8a talk Tags: Reverted Mobile edit Mobile web edit
4 June 2024
- diffhist James Cook University 20:37 0 The Education Auditor talk contribs (Update ranking section to QS WUR 2025) Tag: Visual edit
- diffhist Programming language 11:35 −65 Galebazz talk contribs (Reverting edit(s) by 178.130.111.196 (talk) to rev. 1227081545 by Viewmont Viking: Vandalism (RW 16.1)) Tags: RW Undo
- diffhist Programming language 11:34 +65 178.130.111.196 talk Tags: Reverted Mobile edit Mobile web edit
- diffhist E-graph 09:37 −40 Folly Mox talk contribs (→Applications: fix periodical ignored error genre conference introduced by Citation bot suggested by Abductive, who never checks their work. fix missing periodical x2) Tags: Mobile edit Mobile web edit Advanced mobile edit
- diffhist m Functional programming 09:00 0 Sladniebieskiego talk contribs (fix errant calculation of proportions) Tags: Visual edit Mobile edit Mobile web edit
3 June 2024
- diffhist Pointer analysis 23:23 +45 Panamitsu talk contribs (added Category:Pointers (computer programming) using HotCat)
- diffhist Scala (programming language) 21:37 +9 Adl2gtk talk contribs (Added compilation for clarity between transpilation to javascript and compilation to native executable (ie machine code)) Tags: Mobile edit Mobile web edit
- diffhist Scala (programming language) 21:33 +2 Adl2gtk talk contribs (Discrepancy in the use of the word compilation, scala is transpiled to javascript, not compiled) Tags: Mobile edit Mobile web edit
- diffhist Idris (programming language) 21:24 0 Dicklyon talk contribs (case fix)
- diffhist m Python (programming language) 20:51 −25 MrOllie talk contribs (Reverted 1 edit by Python.js (talk) to last revision by Northernhenge) Tags: Twinkle Undo
- diffhist Python (programming language) 20:49 +25 Python.js talk contribs Tag: Reverted
- diffhist m Python (programming language) 16:03 −1 Northernhenge talk contribs (→History: fix punctuation)
- diffhist m Python (programming language) 15:58 −36 Northernhenge talk contribs (Undid revision 1227081852 by Northernhenge (talk) Edits clashed!) Tag: Undo
- diffhist Python (programming language) 15:56 +36 Northernhenge talk contribs (Restored revision 1227081091 by PythonAndSnooker (talk): Image too large, and includes irrelevant content.) Tags: Twinkle Undo Reverted
- diffhist Python (programming language) 15:54 −36 Viewmont Viking talk contribs (Vandalism) Tags: Undo Reverted
- diffhist Programming language 15:54 −36 Viewmont Viking talk contribs (Undid revision 1227081365 by PythonAndSnooker (talk) Vandalism) Tag: Undo
- diffhist Programming language 15:52 +36 (Username or IP removed) (edit summary removed) Tag: Reverted
- diffhist Python (programming language) 15:50 −6 (Username or IP removed) (edit summary removed) Tag: Reverted
- diffhist Python (programming language) 15:50 +42 (Username or IP removed) (edit summary removed) Tag: Reverted
- diffhist m Model of computation 01:44 +214 Tayste talk contribs (Undid revision 1226969972 by 176.219.105.115 (talk)) Tag: Undo
2 June 2024
- diffhist Model of computation 21:29 −214 176.219.105.115 talk Tags: Reverted references removed Visual edit Mobile edit Mobile web edit
- diffhist Processor register 21:14 0 2601:249:1902:6680:436b:ef97:dfe1:e92f talk (It's capitalized as Sunplus not SunPlus) Tag: Visual edit
- diffhist Proof assistant 16:56 −5 91.200.238.244 talk (Update versions of Mizar and Isabelle)
- diffhist Isabelle (proof assistant) 16:55 0 91.200.238.244 talk (Update information about latest release.)
1 June 2024
- diffhist ACL2 19:40 −213 Dajasj talk contribs (WP:EL)
- diffhist Out-of-order execution 15:40 −20 Kvng talk contribs (review: grammar, clarity)
- diffhist Python (programming language) 00:54 −28 Peaceray talk contribs (Reverting edit(s) by Handedits (talk) to rev. 1226126303 by Magioladitis: Reverting good faith edits: the grammar was better before (RW 16.1)) Tags: RW Undo
- diffhist Programming language 00:31 −4 City of Silver talk contribs (Reverted 1 pending edit by Handedits to revision 1225993219 by Kiwipete: the rest was pointless yet unobjectionable but going from "a wide variety of uses" to "wide variety of uses" is not workable) Tag: Manual revert
- diffhist m Programming language 00:12 +4 Handedits talk contribs Tags: Reverted Visual edit
- diffhist Python (programming language) 00:10 +28 Handedits talk contribs Tags: Reverted Visual edit