https://wiki.event-b.org/index.php?action=history&feed=atom&title=Talk%3APurging_Unused_Proofs Talk:Purging Unused Proofs - Revision history 2026-04-09T19:18:55Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=Talk:Purging_Unused_Proofs&diff=10690&oldid=prev imported>Nicolas: Talk:Purging Unused Proofs moved to Talk:Proof Purger Interface: Clarify the intended aim of the document. 2009-01-06T16:04:33Z <p><a href="/index.php/Talk:Purging_Unused_Proofs" class="mw-redirect" title="Talk:Purging Unused Proofs">Talk:Purging Unused Proofs</a> moved to <a href="/index.php/Talk:Proof_Purger_Interface" title="Talk:Proof Purger Interface">Talk:Proof Purger Interface</a>: Clarify the intended aim of the document.</p> <p><b>New page</b></p><div>#REDIRECT [[Talk:Proof Purger Interface]]</div> imported>Nicolas