Help

Recent changes

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 09:30, 9 May 2024
   
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

3 May 2024

2 May 2024

30 April 2024

  m   07:29  TLA‎‎ 3 changes history +153‎ [Jan Gruteser‎ (3×)]
 m   
07:29 (cur | prev) 0‎ Jan Gruteser talk contribs (→‎Supported TLA+ syntax)
 m   
07:28 (cur | prev) +50‎ Jan Gruteser talk contribs (→‎Understanding the type checker)
 m   
07:27 (cur | prev) +103‎ Jan Gruteser talk contribs (→‎Supported TLA+ syntax: add real syntax)
Retrieved from "https://prob.hhu.de/w/index.php?title=Special:RecentChanges"