Related changes
← Matita
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
5 June 2025
- diffhist m Calculus of constructions 02:59 −4 Squeakachu talk contribs (Reverted edit by 85.140.7.62 (talk) to last version by 175.100.7.120) Tag: Rollback
- diffhist Calculus of constructions 02:45 +4 85.140.7.62 talk Tags: Reverted Visual edit Mobile edit Mobile web edit Disambiguation links added
4 June 2025
- diffhist m Rocq 14:44 +7 Lachsdachs talk contribs (fix grammar) Tag: Visual edit
3 June 2025
- diffhist OCaml 20:43 +34 Gert7 talk contribs (→Hello World: Script-style running should also be demonstrated) Tag: 2017 wikitext editor
- Protection log 08:21 Materialscientist talk contribs protected Wayback Machine [Edit=Require autoconfirmed or confirmed access] (expires 08:21, 6 June 2025) [Move=Require autoconfirmed or confirmed access] (expires 08:21, 6 June 2025) (Persistent vandalism) (hist)
- diffhist m Wayback Machine 08:20 −19,092 Annh07 talk contribs (Reverted edits by 221.252.213.253 (talk) to last version by Jimw338) Tag: Rollback
- diffhist Wayback Machine 08:20 +6,364 221.252.213.253 talk Tag: Reverted
- diffhist Wayback Machine 08:19 +6,364 221.252.213.253 talk Tag: Reverted
- diffhist Wayback Machine 08:19 +6,364 221.252.213.253 talk Tag: Reverted
- Protection log 00:45 Materialscientist talk contribs protected XML [Edit=Require autoconfirmed or confirmed access] (expires 00:45, 3 September 2025) [Move=Require autoconfirmed or confirmed access] (expires 00:45, 3 September 2025) (Persistent disruptive editing) (hist)
2 June 2025
- diffhist m XML 23:38 +5,824 Rsjaffe talk contribs (Reverted edits by 37.39.228.69 (talk) to last version by PawPatroler) Tag: Rollback
- diffhist XML 23:36 −4,013 37.39.228.69 talk Tags: Reverted section blanking Visual edit Mobile edit Mobile web edit
- diffhist XML 23:34 −1,811 37.39.228.69 talk Tags: Reverted section blanking Visual edit Mobile edit Mobile web edit
- diffhist XML 23:33 +2,365 PawPatroler talk contribs (Undid revision 1293650710 by 37.39.228.69 (talk): unexplained content removal) Tag: Undo
- diffhist XML 23:31 −2,365 37.39.228.69 talk Tags: Reverted section blanking Visual edit Mobile edit Mobile web edit
- diffhist m XML 23:30 +3,430 Aydoh8 talk contribs (Reverted edits by 37.39.228.69 (talk) (AV)) Tags: AntiVandal Rollback
- diffhist XML 23:30 −2,061 37.39.228.69 talk Tags: Reverted section blanking Visual edit Mobile edit Mobile web edit
- diffhist XML 23:28 −1,369 37.39.228.69 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
- diffhist m GNU General Public License 20:40 +35 NOTAROBOT1101 talk contribs (Add link to SPDX) Tags: Visual edit Mobile edit Mobile web edit
- diffhist m Assembly language 03:21 −16 BD2412 talk contribs (clean up spacing around commas and other punctuation, replaced: ,and → , and , ,a → , a (3), ,b → , b (2), ,c → , c, ,l → , l, ,m → , m, ; → ; (17)) Tag: AWB
1 June 2025
- diffhist m Wayback Machine 19:29 0 Jimw338 talk contribs (→Censorship and other threats: dead url)
- diffhist Wayback Machine 18:27 −52 Flickerlion talk contribs (Undid revision 1293437588 by Flickerlion (talk) he read it nevermind, sorry Andreworkney...) Tags: Undo Mobile edit Mobile web edit
- diffhist Wayback Machine 18:26 +52 Flickerlion talk contribs (Undid revision 1292893811 by Andreworkney (talk) Andreworkney has clearly not used the site.) Tags: Undo Reverted Mobile edit Mobile web edit
31 May 2025
- diffhist Wayback Machine 19:19 0 IvanMishov talk contribs Tags: Mobile edit Mobile web edit
- diffhist Wayback Machine 19:19 +44 IvanMishov talk contribs Tags: Mobile edit Mobile web edit
- diffhist Rocq 09:44 +45 119.74.219.116 talk (Fixed.) Tag: Visual edit
- diffhist Rocq 09:41 −1 119.74.219.116 talk (Fixed a typo.) Tag: Visual edit
- diffhist Type inference 06:18 0 97.115.93.117 talk (→Types in programming languages: Alphabetized language list) Tags: Mobile edit Mobile web edit
- diffhist XML 03:56 +17 Colinstu talk contribs (→See also: added entry, fixed sorting)
30 May 2025
- diffhist Intuitionistic type theory 15:53 +8 Quezergue talk contribs (→Judgements) Tag: Visual edit
- diffhist Software license 09:45 +69 Mentisgrail talk contribs (Open access status updates in citations with OAbot #oabot) Tag: OAbot [2.1]
- diffhist Wayback Machine 06:55 +6 147.161.188.104 talk (→Storage capacity and growth: Missing non-breaking space)
- diffhist Parsing 03:36 +2 Jruderman talk contribs (→Psycholinguistics: reword for clarity)
- diffhist m Linux 03:26 −2 Remsense talk contribs (Reverted 1 edit by 2401:D800:37B:F790:5575:319C:FD38:2F7 (talk) to last revision by 84.250.41.232) Tags: Twinkle Undo Mobile edit Mobile web edit Advanced mobile edit
- diffhist Linux 03:26 +2 2401:d800:37b:f790:5575:319c:fd38:2f7 talk Tags: Reverted Mobile edit Mobile web edit
29 May 2025
- diffhist Linux 21:25 0 84.250.41.232 talk (project announcement date)
- diffhist Linux 21:23 +254 Remsense talk contribs (Reverting edit(s) by 84.250.41.232 (talk) to rev. 1292794662 by Trilletrollet: Unexplained content removal (UV 0.1.6)) Tags: Ultraviolet Undo
- diffhist Linux 21:22 −254 84.250.41.232 talk Tag: Reverted
- diffhist Calculus of constructions 19:38 −4 175.100.7.120 talk (In mathematical logic and computer science, the calculus of constructions (CoC) is a type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics. For this second reason, the CoC and its variants have been the basis for Coq and other proof assistants. Some of its variants include the calculus of inductive constructions (which adds inductive types), the calculus of (co)inductive constructions (which adds coinduction), an) Tags: Visual edit Mobile edit Mobile web edit
- diffhist Poplog 14:09 +23 Dgpop talk contribs (→History: could use more concrete info here)
- diffhist Wayback Machine 12:29 −52 Andreworkney talk contribs (Undid revision 1292891142 by Flickerlion (talk) - no reliable source for this claim (the point of the "Wayforward Machine" is to show popups...)) Tags: Undo Reverted
- diffhist Wayback Machine 12:19 −24 182.3.9.27 talk (→Notes) Tag: section blanking
- diffhist Wayback Machine 12:19 −267 182.3.9.27 talk (It's not blocked there)
- diffhist Wayback Machine 12:03 +52 Flickerlion talk contribs (→History: Why did someone revert it? Do you want their data taken?) Tags: Reverted Mobile edit Mobile web edit
- diffhist Haxe 11:20 +18 Jerryobject talk contribs (WP:LINK add, lineage clarify.)