Related changes
← CompCert
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
29 May 2025
- diffhist m Free software 13:03 −18 Materialscientist talk contribs (Reverted edits by 31.130.137.152 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist Free software 13:01 +18 31.130.137.152 talk (Как нужно войти конфиденциальности?) Tag: Reverted
- diffhist m Software release life cycle 12:35 −9 Materialscientist talk contribs (Reverted edits by 109.42.113.17 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist Software release life cycle 12:34 +9 109.42.113.17 talk (→{{Anchor|Web release}}Release to the Web (RTW)) Tag: Reverted
28 May 2025
- diffhist RISC-V 16:58 +560 Doerakpoes talk contribs (infobox: add vector register info)
- diffhist X86-64 14:54 +338 CesarB talk contribs (→Microarchitecture levels: ld.so is not available on some older distributions, and --help was added on glibc 2.33)
- diffhist RISC-V 12:43 +51 Doerakpoes talk contribs (Add listed single-letter extensions from latest spec to infobox)
- diffhist RISC-V 11:53 +219 Doerakpoes talk contribs (Update versions in infobox)
- diffhist m GitHub 09:40 −182 Materialscientist talk contribs (Reverted edits by 49.237.6.98 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist GitHub 09:26 +182 49.237.6.98 talk Tags: Reverted Mobile edit Mobile web edit
27 May 2025
26 May 2025
25 May 2025
24 May 2025
- diffhist m Software release life cycle 06:43 −42 Materialscientist talk contribs (Reverted edits by 2605:A601:A530:6B01:1CC9:FDE4:5F4D:1DEE (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist Software release life cycle 06:42 +42 2605:a601:a530:6b01:1cc9:fde4:5f4d:1dee talk (→Stable release: Best) Tags: Reverted Mobile edit Mobile web edit
23 May 2025
- diffhist m Software release life cycle 08:39 +2,925 ClueBot NG talk contribs (Reverting possible vandalism by 114.10.45.49 to version by ClaudineChionh. Report False Positive? Thanks, ClueBot NG. (4396082) (Bot)) Tag: Rollback
- diffhist Software release life cycle 08:39 −2,925 114.10.45.49 talk Tags: Reverted references removed Visual edit Mobile edit Mobile web edit
- diffhist m Software release life cycle 08:38 +3 ClaudineChionh talk contribs (Reverted edits by 114.10.45.49 (talk) (HG) (3.4.13)) Tags: Huggle Rollback
- diffhist Software release life cycle 08:37 −3 114.10.45.49 talk Tags: Reverted Visual edit Mobile edit Mobile web edit
22 May 2025
- diffhist Programmer 22:00 −4 Avatar317 talk contribs (Undid revision 1291660459 by Pharouqenr (talk)Linking to a DAB page isn't helpful, and we don't need that link anyway.) Tag: Undo
- diffhist Rocq 18:48 −29 2a01:cb01:206e:1396:c52b:d69a:b084:909e talk (Fixing name consistency (both Rocq and the Rocq prover were used))