Recent changes

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 | Hide bots | Show minor edits
Show new changes starting from 04:00, 28 September 2023
   
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

25 September 2023

     23:38  Template:Main/Headlines diffhist +111 Henk-Jan van Tuyl talk contribs GHC 9.4.6 is released

23 September 2023

     19:58 User creation log User account Miao talk contribs was created by Flavio talk contribs and password was sent by email ‎(The owner requested it)

17 September 2023

     01:12  Template:Main/Events diffhist +284 Henk-Jan van Tuyl talk contribs Added OOPSLA 2024