Recent changes

From Termination-Portal.org
Jump to navigationJump 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 05:43, 7 July 2025
   
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

4 July 2025

     13:31  Termination Competition 2025 diffhist +197 Fuhs talk contribs Dates for TermComp 2025, taken from https://lists.rwth-aachen.de/archives/list/termtools@lists.rwth-aachen.de/thread/FAA6ENEMMX5ANNGUOLXRKGCMFFJ7PV37/
     13:15  Termination Competition diffhist +1 Fuhs talk contribs Added upcoming TermComp 2025