Recent changes

From Termination-Portal.org

Jump to navigation Jump to search

Track the most recent changes to the wiki on this page.

Recent changes options Show last 50 | 100 | 250 | 500 changes in last 1 | 3 | 7 | 14 | 30 days
Hide registered users | Hide anonymous users | Hide my edits | Show bots | Hide minor edits
Show new changes starting from 23:00, 17 June 2026

List of abbreviations:

N: This edit created a new page (also see list of new pages)
m: This is a minor edit
b: This edit was performed by a bot
(±123): The page size changed by this number of bytes

17 June 2026

08:25

Termination Competition Certified Categories Competition‎ diffhist -1,813‎ Thiemann talk contribs updated some parts of the very outdated description of certified category (might require further changes)

08:04

Termination Competition 2026‎ diffhist -5‎ Thiemann talk contribs change website of CPF

16 June 2026

13:36

21st International Workshop on Termination‎ diffhist +46‎ Ffrohn talk contribs

13:32

Upload log Ffrohn talk contribs uploaded File:TermCOMP26 program.png ‎

Retrieved from "http://termination-portal.org/wiki/Special:RecentChanges"

Navigation menu