Main public logs

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).

• 09:38, 6 September 2017 User account Yumiko Takahashi talk contribs was created by Sebastian Krings talk contribs and password was sent by email
• 08:47, 24 November 2015 Sebastian Krings talk contribs uploaded File:ProB ApplesOranges Sol.png
• 08:46, 24 November 2015 Sebastian Krings talk contribs deleted page File:ProB ApplesOranges Sol.png
• 08:46, 24 November 2015 Sebastian Krings talk contribs uploaded File:ProB ApplesOranges Sol.png
• 08:22, 9 December 2013 Sebastian Krings talk contribs uploaded File:Disprover-all.png
• 09:48, 31 January 2013 Sebastian Krings talk contribs uploaded File:ProBRodinStartUnitAnalysis.png
• 09:45, 31 January 2013 Sebastian Krings talk contribs uploaded File:ProBRodinUnitPragmas.png