Proof Skeleton View: Revision history

27 September 2011

• curprev 12:5012:50, 27 September 2011‎ imported>Ladenberger‎ 1,892 bytes −250‎ No edit summary

19 September 2011

• curprev 14:1414:14, 19 September 2011‎ imported>Ladenberger‎ 2,142 bytes +250‎ No edit summary

12 January 2010

• curprev 16:0416:04, 12 January 2010‎ imported>Nicolas‎ m 1,892 bytes +18‎ →‎Copy/Paste to Proof Tree
• curprev 16:0116:01, 12 January 2010‎ imported>Nicolas‎ m 1,874 bytes +6‎ →‎Copy/Paste to Proof Tree
• curprev 15:5315:53, 12 January 2010‎ imported>Nicolas‎ m 1,868 bytes +546‎ →‎The Proof Skeleton View

14 October 2009

• curprev 12:2612:26, 14 October 2009‎ imported>Laurent‎ 1,322 bytes +298‎ No edit summary

12 August 2009

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

6 April 2009

• curprev 14:0514:05, 6 April 2009‎ imported>Mathieu‎ m 1,005 bytes 0‎ No edit summary

29 January 2009

• curprev 14:0014:00, 29 January 2009‎ imported>Laurent‎ m 1,005 bytes −42‎ →‎Showing the View
• curprev 13:5813:58, 29 January 2009‎ imported>Laurent‎ m 1,047 bytes 0‎ →‎Purpose
• curprev 13:5813:58, 29 January 2009‎ imported>Laurent‎ m 1,047 bytes +92‎ →‎Purpose

12 December 2008

• curprev 13:0813:08, 12 December 2008‎ imported>Mathieu‎ m 955 bytes 0‎ →‎Showing the View
• curprev 13:0813:08, 12 December 2008‎ imported>Mathieu‎ m 955 bytes +9‎ →‎Showing the View: use menu template
• curprev 13:0813:08, 12 December 2008‎ imported>Mathieu‎ m 946 bytes +34‎ Category:User Documentation
• curprev 12:5412:54, 12 December 2008‎ imported>Nicolas‎ 912 bytes +912‎ New page: ==Purpose== The Proof Skeleton View gives the user the ability to quickly browse the skeleton of a proof, without having to prove it anew. Furthermore, it is intended to be a convenient w...