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
25 May 2025
- diffhist Tony Hoare 08:23 +4 Jevansen talk contribs (Moving from Category:People from Colombo to Category:Scientists from Colombo using Cat-a-lot)
- diffhist Cambridge University Press 03:45 −9 Nedrutland talk contribs (→Publications: "Easter Wings" et al.)
- diffhist m Natural deduction 02:48 −50 Marc Schroeder talk contribs (→Suppes–Lemmon-style inference rules)
24 May 2025
- diffhist m Natural deduction 21:07 +7 Marc Schroeder talk contribs (→Gentzen-style propositional logic)
- diffhist Natural deduction 20:36 +1,715 Marc Schroeder talk contribs (Added information to section 'Gentzen-style propositional logic')
23 May 2025
- diffhist SourceForge 22:00 −583 Future Contributor talk contribs (→Revenue model: Condensed the talk about sourceforge revenues in 2006/2009, removed duplicate sentences about the end of DevShare in 2016.) Tags: Mobile edit Mobile web edit
- diffhist m Flowchart 19:30 0 Nyq talk contribs (→Common symbols: lc common nouns) Tag: Visual edit
20 May 2025
- diffhist m Linear logic 10:22 +290 Marc Schroeder talk contribs (→Further reading)
- diffhist m Linear logic 06:21 +149 Marc Schroeder talk contribs (→Further reading: } isbn)
19 May 2025
- diffhist m Free variables and bound variables 23:24 +17 Rgdboer talk contribs (isbn templates)
- diffhist Separation logic 20:33 +50 MediaKyle talk contribs (Adding short description: "Concept in computer science") Tag: Shortdesc helper