Changes related to "Category:Tutorials"
This is a list of changes made recently to pages linked from a specified page (or to members of a specified category). Pages on your watchlist are bold.
20 November 2015
- (diff | hist) . . Blog articles/Comparisons; 22:44 . . (+56) . . Henk-Jan van Tuyl (→Coq: Updated link to "Coq and simple group theory" (to Web Archive))