Proof Purger Interface: Revision history

27 October 2011

• curprev 10:2010:20, 27 October 2011‎ imported>Ladenberger‎ 2,432 bytes −250‎ No edit summary

16 September 2011

• curprev 12:2612:26, 16 September 2011‎ imported>Ladenberger‎ 2,682 bytes +250‎ No edit summary

22 November 2010

• curprev 10:0210:02, 22 November 2010‎ imported>Laurent‎ 2,432 bytes +440‎ Added rationale for obsolete proofs

19 November 2010

• curprev 16:4816:48, 19 November 2010‎ imported>Laurent‎ 1,992 bytes +643‎ Replaced "unused" by "obsolete".
• curprev 16:3916:39, 19 November 2010‎ imported>Laurent‎ 1,349 bytes +168‎ →‎Selecting purge input: improved description of unused proofs

12 August 2009

• curprev 12:5412:54, 12 August 2009‎ imported>Mathieu‎ m 1,181 bytes +19‎ Category:Proof

6 January 2009

• curprev 16:0416:04, 6 January 2009‎ imported>Nicolas‎ m 1,162 bytes 0‎ Purging Unused Proofs moved to Proof Purger Interface: Clarify the intended aim of the document.

11 December 2008

• curprev 21:5521:55, 11 December 2008‎ imported>Mathieu‎ m 1,162 bytes +16‎ Use some typesetting template
• curprev 21:4921:49, 11 December 2008‎ imported>Mathieu‎ m 1,146 bytes +33‎ Category:User documentation

10 December 2008

• curprev 17:2317:23, 10 December 2008‎ imported>Nicolas‎ 1,113 bytes +1,113‎ New page: ==Purpose== Proofs are stored in proof files. But it can happen quite often that proof obligations disappear, leaving unnecessary proofs in files. The purpose of the proof purger is to al...