Combined display of all available logs of ProB Documentation.
You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 10:59, 18 November 2009 Jens Bendisposto talk contribs moved page User Manual to User Manual (standalone ProB)
- 16:07, 16 November 2009 Jens Bendisposto talk contribs uploaded File:Install.swf
- 14:01, 16 November 2009 Jens Bendisposto talk contribs moved page Documentation to User Manual
- 09:30, 6 November 2009 WikiSysop talk contribs changed group membership for Daniel Plagge from (none) to administrator and bureaucrat
- 09:30, 6 November 2009 WikiSysop talk contribs changed group membership for Jens Bendisposto from administrator to administrator and bureaucrat
- 09:29, 6 November 2009 User account Daniel Plagge talk contribs was created by WikiSysop talk contribs
- 18:22, 5 November 2009 Jens Bendisposto talk contribs moved page Main Page to The ProB Animator and Model Checker
- 14:37, 5 November 2009 WikiSysop talk contribs changed group membership for Jens Bendisposto from bureaucrat and administrator to administrator
- 14:37, 5 November 2009 WikiSysop talk contribs changed group membership for Jens Bendisposto from (none) to administrator and bureaucrat
- 14:35, 5 November 2009 User account Jens Bendisposto talk contribs was created by WikiSysop talk contribs