https://wiki.event-b.org/index.php?action=history&feed=atom&title=Talk%3AProof_Purger_Interface 2026-04-09T22:20:13Z Revision history for this page on the wiki MediaWiki 1.42.1 https://wiki.event-b.org/index.php?title=Talk:Proof_Purger_Interface&diff=10689&oldid=prev 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> <table style="background-color: #fff; color: #202122;" data-mw="interface"> <tr class="diff-title" lang="en-GB"> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">← Older revision</td> <td colspan="1" style="background-color: #fff; color: #202122; text-align: center;">Revision as of 16:04, 6 January 2009</td> </tr><tr><td colspan="2" class="diff-notice" lang="en-GB"><div class="mw-diff-empty">(No difference)</div> </td></tr></table>

imported>Nicolas https://wiki.event-b.org/index.php?title=Talk:Proof_Purger_Interface&diff=10688&oldid=prev 2008-12-11T21:50:01Z

<p>New page: == User Manual == Shall this page become a part of the <a href="/index.php/Rodin_User_Manual" title="Rodin User Manual">Rodin User Manual</a> ? ~~~~</p> <p><b>New page</b></p><div>== User Manual ==<br /> Shall this page become a part of the [[Rodin User Manual]] ? [[User:Mathieu|Mathieu]] 21:50, 11 December 2008 (UTC)</div>

imported>Mathieu