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 | Show my edits | Show bots | Hide minor edits
Show new changes starting from 01:45, 24 September 2018
   

19 September 2018

     17:08  The ProB Animator and Model Checker‎ (diff | hist) . . (+203). . Michael Leuschel (talk | contribs)

5 September 2018

     12:34  Alloy‎ (diff | hist) . . (+1,704). . Michael Leuschel (talk | contribs)

28 August 2018

     09:56  Bugs‎ (diff | hist) . . (+195). . Michael Leuschel (talk | contribs)
     09:50  Download‎‎ (6 changes | history) . . (+384). . [Michael Leuschel‎ (6×)]
      09:50 (cur | prev) . . (-1). . Michael Leuschel (talk | contribs) (Short Release History)
      09:49 (cur | prev) . . (+178). . Michael Leuschel (talk | contribs) (Latest Release)
      09:47 (cur | prev) . . (+32). . Michael Leuschel (talk | contribs) (Nightly Builds)
      09:46 (cur | prev) . . (+1). . Michael Leuschel (talk | contribs) (Nightly Build)
      09:45 (cur | prev) . . (+1). . Michael Leuschel (talk | contribs)
      09:44 (cur | prev) . . (+173). . Michael Leuschel (talk | contribs) (ProB for Rodin)