Proof Skeleton Design: Revision history

12 August 2009

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

6 January 2009

• curprev 16:5616:56, 6 January 2009‎ imported>Nicolas‎ m 1,735 bytes 0‎ Proof Skeleton moved to Proof Skeleton Design: Clarify the aim of the document in the title.
• curprev 13:3813:38, 6 January 2009‎ imported>Mathieu‎ m 1,735 bytes +13‎ →‎View architecture

18 December 2008

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

17 December 2008

• curprev 16:2916:29, 17 December 2008‎ imported>Nicolas‎ m 1,759 bytes +37‎ No edit summary

16 December 2008

• curprev 14:3314:33, 16 December 2008‎ imported>Laurent‎ m 1,722 bytes +24‎ Fixed indentation in tabular

12 December 2008

• curprev 13:1013:10, 12 December 2008‎ imported>Mathieu‎ m 1,698 bytes +40‎ Category:Design + use of class and method templates
• curprev 12:4712:47, 12 December 2008‎ imported>Nicolas‎ 1,658 bytes +1,658‎ New page: This document aims at helping developers getting into the code of the proof skeleton viewer. ==Purpose== The Proof Skeleton View gives the user the ability to quickly browse the skeleton...