Recent changes

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

Recent changes options
Legend:
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
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 11:01, 20 June 2018
   

6 June 2018

     14:52  The ProB Animator and Model Checker‎ (diff | hist) . . (+151). . Michael Leuschel (talk | contribs)

5 June 2018

     08:02  Download‎ (diff | hist) . . (0). . Michael Leuschel (talk | contribs) (Nightly Build)