Changes related to "Category:Formal methods people"
This is a list of recent changes to pages linked from a specified page (or to members of a specified category). Changes to pages on your watchlist are shown with a green bullet.
25 July 2017
- (diff | hist) . . Robin Milner; 11:15 . . (-13) . . Tea2min (Undid revision 792236341 by 22.214.171.124 (talk))
- (diff | hist) . . Robin Milner; 09:52 . . (+13) . . 126.96.36.199 (l) (Tags: Mobile edit, Mobile web edit)