The Proving Perspective (Rodin User Manual): Revision history

28 September 2011

• curprev 18:4518:45, 28 September 2011‎ imported>Ladenberger‎ 27,664 bytes +251‎ No edit summary

25 July 2011

• curprev 16:2816:28, 25 July 2011‎ imported>Tommy‎ 27,413 bytes +9,110‎ No edit summary

30 August 2010

• curprev 12:1512:15, 30 August 2010‎ imported>Wohuai‎ m 18,303 bytes 0‎ No edit summary
• curprev 12:1212:12, 30 August 2010‎ imported>Wohuai‎ m 18,303 bytes −4‎ No edit summary
• curprev 12:1112:11, 30 August 2010‎ imported>Wohuai‎ 18,307 bytes +31‎ No edit summary

14 April 2010

• curprev 13:1013:10, 14 April 2010‎ imported>Fages‎ 18,276 bytes −18‎ No edit summary

29 March 2010

• curprev 12:2412:24, 29 March 2010‎ imported>Tommy‎ m 18,294 bytes +42‎ →‎The Search Hypotheses Window
• curprev 12:1512:15, 29 March 2010‎ imported>Tommy‎ 18,252 bytes +1,049‎ →‎The Search Hypotheses Window

8 March 2010

• curprev 15:2715:27, 8 March 2010‎ imported>Reza‎ 17,203 bytes −22‎ →‎Description of the Proof Tree
• curprev 15:2515:25, 8 March 2010‎ imported>Reza‎ 17,225 bytes +22‎ →‎Description of the Proof Tree

1 March 2010

• curprev 12:0012:00, 1 March 2010‎ imported>Reza‎ 17,203 bytes +9‎ →‎The Search Hypotheses Window
• curprev 11:5911:59, 1 March 2010‎ imported>Reza‎ 17,194 bytes +5‎ →‎The Search Hypotheses Window
• curprev 11:5711:57, 1 March 2010‎ imported>Reza‎ 17,189 bytes −12‎ →‎The Search Hypotheses Window
• curprev 11:5611:56, 1 March 2010‎ imported>Reza‎ 17,201 bytes +6‎ →‎The Search Hypotheses Window
• curprev 11:5511:55, 1 March 2010‎ imported>Reza‎ 17,195 bytes +4‎ →‎The Search Hypotheses Window
• curprev 11:5411:54, 1 March 2010‎ imported>Reza‎ 17,191 bytes +20‎ →‎The Search Hypotheses Window
• curprev 11:5311:53, 1 March 2010‎ imported>Reza‎ 17,171 bytes +642‎ →‎The Search Hypotheses Window
• curprev 11:2511:25, 1 March 2010‎ imported>Reza‎ 16,529 bytes +101‎ →‎The Search Hypotheses Window

25 February 2010

• curprev 19:5419:54, 25 February 2010‎ imported>Reza‎ 16,428 bytes +4‎ →‎The Proof Control Window
• curprev 19:5319:53, 25 February 2010‎ imported>Reza‎ 16,424 bytes +31‎ →‎The Proof Control Window
• curprev 19:5019:50, 25 February 2010‎ imported>Reza‎ 16,393 bytes +423‎ →‎The Proof Control Window
• curprev 19:2519:25, 25 February 2010‎ imported>Reza‎ 15,970 bytes +3‎ →‎The Proof Control Window
• curprev 19:2119:21, 25 February 2010‎ imported>Reza‎ 15,967 bytes +5‎ →‎The Proof Control Window
• curprev 19:0919:09, 25 February 2010‎ imported>Reza‎ 15,962 bytes +388‎ →‎The Proof Control Window

4 March 2009

• curprev 09:0809:08, 4 March 2009‎ imported>Mathieu‎ m 15,574 bytes −18‎ The Proving Perspective The Proving Perspective The Proving Perspective
• curprev 09:0709:07, 4 March 2009‎ imported>Mathieu‎ m 15,592 bytes +177‎ The Proof Obligation Explorer The Proof Obligation Explorer The Proof Obligation Explorer

11 February 2009

• curprev 18:0618:06, 11 February 2009‎ imported>Laurent‎ m 15,415 bytes +138‎ →‎Rewrite rules

29 January 2009

• curprev 15:5315:53, 29 January 2009‎ imported>Frederic‎ 15,277 bytes −2‎ →‎Inference Rules
• curprev 15:4815:48, 29 January 2009‎ imported>Frederic‎ 15,279 bytes −19,391‎ →‎Interactive Tactics
• curprev 15:4715:47, 29 January 2009‎ imported>Frederic‎ 34,670 bytes −4,033‎ →‎Automatic Inference Rules
• curprev 15:4715:47, 29 January 2009‎ imported>Frederic‎ 38,703 bytes +800‎ No edit summary
• curprev 15:4015:40, 29 January 2009‎ imported>Frederic‎ 37,903 bytes −10,759‎ →‎Rewrite Rules
• curprev 15:3315:33, 29 January 2009‎ imported>Frederic‎ 48,662 bytes +2‎ →‎Rewrite rules
• curprev 15:3215:32, 29 January 2009‎ imported>Frederic‎ 48,660 bytes +35,360‎ Undo revision 2402 by Frederic (Talk)
• curprev 15:2215:22, 29 January 2009‎ imported>Frederic‎ 13,300 bytes −32,847‎ No edit summary

5 December 2008

• curprev 16:5616:56, 5 December 2008‎ imported>Laurent‎ m 46,147 bytes −59‎ →‎Rewrite Rules
• curprev 16:5216:52, 5 December 2008‎ imported>Laurent‎ m 46,206 bytes −3‎ →‎Rewrite Rules
• curprev 16:3616:36, 5 December 2008‎ imported>Laurent‎ m 46,209 bytes −143‎ →‎Rewrite Rules: Removed commented elements from LaTeX source

10 September 2008

• curprev 20:3420:34, 10 September 2008‎ imported>Mathieu‎ m 46,352 bytes 0‎ Robot: Changing Category:User Manual
• curprev 20:3120:31, 10 September 2008‎ imported>Mathieu‎ m 46,352 bytes 0‎ Robot: Changing Category:User Documentation

9 September 2008

• curprev 19:4219:42, 9 September 2008‎ imported>Mathieu‎ m 46,352 bytes +12‎ {{TOCright}}

8 September 2008

• curprev 11:3411:34, 8 September 2008‎ imported>Mathieu‎ m 46,340 bytes −5‎ supress unused div
• curprev 11:3411:34, 8 September 2008‎ imported>Mathieu‎ m 46,345 bytes −30‎ →‎Interactive Inference Rules: latex rewriting
• curprev 11:0411:04, 8 September 2008‎ imported>Mathieu‎ m 46,375 bytes −4,243‎ →‎Interactive Inference Rules: First pass in latex rewriting
• curprev 10:1510:15, 8 September 2008‎ imported>Mathieu‎ m 50,618 bytes −16‎ →‎Interactive Rewrite Rules: some latex tweaking
• curprev 09:5909:59, 8 September 2008‎ imported>Mathieu‎ m 50,634 bytes −1,000‎ →‎Automatic Inference Rules

5 September 2008

• curprev 10:2910:29, 5 September 2008‎ imported>Mathieu‎ m 51,634 bytes −10‎ →‎Automatic Inference Rules: qquad used

4 September 2008

• curprev 13:1113:11, 4 September 2008‎ imported>Mathieu‎ m 51,644 bytes −515‎ →‎Automatic Inference Rules: some more inference rule rewriting into wiki format
• curprev 12:2012:20, 4 September 2008‎ imported>Mathieu‎ m 52,159 bytes −825‎ →‎Automatic Inference Rules: Begin of Inference Rules rewriting

2 September 2008

• curprev 14:0214:02, 2 September 2008‎ imported>Mathieu‎ m 52,984 bytes +463‎ →‎Rewrite Rules: use wiki table for last latex array. Should be generalized