Proof Purger Design: Revision history

12 August 2009

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

29 January 2009

• curprev 13:4313:43, 29 January 2009‎ imported>Laurent‎ m 3,139 bytes +49‎ →‎Unused Proofs and Files
• curprev 13:4013:40, 29 January 2009‎ imported>Laurent‎ 3,090 bytes +158‎ →‎Purpose

6 January 2009

• curprev 15:5915:59, 6 January 2009‎ imported>Nicolas‎ m 2,932 bytes 0‎ Proof Purger moved to Proof Purger Design: Clarify the intended aim of the document.

18 December 2008

• curprev 10:4710:47, 18 December 2008‎ imported>Mathieu‎ m 2,932 bytes −37‎ Category:Developer documentation is parent category of Design

17 December 2008

• curprev 16:2816:28, 17 December 2008‎ imported>Nicolas‎ 2,969 bytes +153‎ No edit summary

11 December 2008

• curprev 21:4721:47, 11 December 2008‎ imported>Mathieu‎ m 2,816 bytes +20‎ Category:Design

10 December 2008

• curprev 17:1217:12, 10 December 2008‎ imported>Nicolas‎ 2,796 bytes +2,796‎ 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...