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).
- 10:57, 5 January 2026 Engels talk contribs uploaded a new version of File:Sequent prover transitions.png
- 10:17, 5 January 2026 Engels talk contribs uploaded a new version of File:Sequent prover transitions.png
- 09:49, 1 January 2026 Engels talk contribs created page File:Sequent prover add hyp.png
- 09:49, 1 January 2026 Engels talk contribs uploaded File:Sequent prover add hyp.png
- 09:44, 1 January 2026 Engels talk contribs created page File:Sequent prover proof saving.png
- 09:44, 1 January 2026 Engels talk contribs uploaded File:Sequent prover proof saving.png
- 09:39, 1 January 2026 Engels talk contribs created page File:Sequent prover transitions.png
- 09:39, 1 January 2026 Engels talk contribs uploaded File:Sequent prover transitions.png
