Rodin Proving Perspective: Revision history

26 September 2011

• curprev 08:5608:56, 26 September 2011‎ imported>Ladenberger‎ 27,664 bytes +251‎ No edit summary

25 July 2011

• curprev 15:1515:15, 25 July 2011‎ imported>Tommy‎ 27,413 bytes −516‎ Remove the paragraph on Import/Export of profiles from preferences as it didn't work, and should not be implemented this way.

13 January 2011

• curprev 16:5516:55, 13 January 2011‎ imported>Tommy‎ m 27,929 bytes 0‎ →‎Exporting/Importing profiles
• curprev 16:5016:50, 13 January 2011‎ imported>Tommy‎ m 27,929 bytes 0‎ →‎Preferences for the selected auto and post tactic profile
• curprev 16:5016:50, 13 January 2011‎ imported>Tommy‎ m 27,929 bytes +14‎ →‎Preferences for the selected auto and post tactic profile
• curprev 16:4616:46, 13 January 2011‎ imported>Tommy‎ m 27,915 bytes +516‎ →‎Auto-tactic and Post-tactic
• curprev 16:3116:31, 13 January 2011‎ imported>Tommy‎ m 27,399 bytes +114‎ →‎Auto-tactic and Post-tactic
• curprev 16:2316:23, 13 January 2011‎ imported>Tommy‎ m 27,285 bytes +1,050‎ →‎Project specific settings
• curprev 16:0916:09, 13 January 2011‎ imported>Tommy‎ m 26,235 bytes +758‎ →‎Auto-tactic and Post-tactic
• curprev 15:3915:39, 13 January 2011‎ imported>Tommy‎ m 25,477 bytes +783‎ →‎Auto-tactic and Post-tactic
• curprev 15:3015:30, 13 January 2011‎ imported>Tommy‎ m 24,694 bytes +94‎ →‎Auto-tactic and Post-tactic
• curprev 15:2815:28, 13 January 2011‎ imported>Tommy‎ m 24,600 bytes +4‎ →‎Principles
• curprev 15:2615:26, 13 January 2011‎ imported>Tommy‎ m 24,596 bytes +255‎ →‎Auto-tactic and Post-tactic
• curprev 15:1615:16, 13 January 2011‎ imported>Tommy‎ m 24,341 bytes +1,791‎ →‎Auto-tactic and Post-tactic
• curprev 10:2810:28, 13 January 2011‎ imported>Tommy‎ m 22,550 bytes +113‎ →‎Auto-tactic and Post-tactic
• curprev 10:1410:14, 13 January 2011‎ imported>Tommy‎ m 22,437 bytes +20‎ →‎Auto-tactic and Post-tactic
• curprev 10:1210:12, 13 January 2011‎ imported>Tommy‎ m 22,417 bytes +104‎ →‎Auto-tactic and Post-tactic

4 November 2010

• curprev 14:3814:38, 4 November 2010‎ imported>Tommy‎ m 22,313 bytes 0‎ →‎The Search Hypotheses View

3 September 2010

• curprev 15:1315:13, 3 September 2010‎ imported>Laurent‎ m 22,313 bytes −3‎ →‎Rewrite Rules

17 August 2010

• curprev 11:3411:34, 17 August 2010‎ imported>Wohuai‎ 22,316 bytes +168‎ No edit summary

11 August 2010

• curprev 15:4915:49, 11 August 2010‎ imported>Tommy‎ m 22,148 bytes +14‎ →‎Rule Details View
• curprev 15:4915:49, 11 August 2010‎ imported>Tommy‎ m 22,134 bytes +1,001‎ →‎Rule Details View
• curprev 14:3214:32, 11 August 2010‎ imported>Tommy‎ m 21,133 bytes +127‎ Added Rule Details View informations.
• curprev 13:5313:53, 11 August 2010‎ imported>Tommy‎ m 21,006 bytes +1,313‎ Move contents about the search hypothesis view from the old page to this page.

14 April 2010

• curprev 13:1413:14, 14 April 2010‎ imported>Fages‎ 19,693 bytes −18‎ No edit summary

26 March 2010

• curprev 14:2614:26, 26 March 2010‎ imported>Im06r‎ 19,711 bytes +5‎ →‎Loading a Proof
• curprev 14:2514:25, 26 March 2010‎ imported>Im06r‎ 19,706 bytes +164‎ →‎Loading a Proof
• curprev 14:2214:22, 26 March 2010‎ imported>Im06r‎ 19,542 bytes +26‎ →‎Proof Information View
• curprev 14:2214:22, 26 March 2010‎ imported>Im06r‎ 19,516 bytes +91‎ →‎Proof Information View
• curprev 13:0913:09, 26 March 2010‎ imported>Andy‎ 19,425 bytes +6‎ →‎The Proof Control View
• curprev 13:0813:08, 26 March 2010‎ imported>Andy‎ 19,419 bytes +3‎ →‎Inference Rules
• curprev 13:0813:08, 26 March 2010‎ imported>Andy‎ 19,416 bytes +6‎ →‎Pruning
• curprev 13:0713:07, 26 March 2010‎ imported>Andy‎ 19,410 bytes +3‎ →‎Auto-tactic and Post-tactic
• curprev 13:0713:07, 26 March 2010‎ imported>Andy‎ 19,407 bytes +3‎ →‎The Search Hypotheses View
• curprev 13:0613:06, 26 March 2010‎ imported>Andy‎ 19,404 bytes +3‎ →‎The Search Hypotheses View
• curprev 13:0613:06, 26 March 2010‎ imported>Andy‎ 19,401 bytes 0‎ →‎The Search Hypotheses View
• curprev 13:0513:05, 26 March 2010‎ imported>Andy‎ 19,401 bytes 0‎ →‎The Proof Control View
• curprev 13:0413:04, 26 March 2010‎ imported>Andy‎ 19,401 bytes 0‎ →‎Inference Rules
• curprev 13:0413:04, 26 March 2010‎ imported>Andy‎ 19,401 bytes 0‎ →‎Pruning
• curprev 13:0413:04, 26 March 2010‎ imported>Andy‎ 19,401 bytes 0‎ →‎Pruning
• curprev 13:0213:02, 26 March 2010‎ imported>Andy‎ 19,401 bytes −184‎ →‎Preferences for the Post-tactic
• curprev 12:5912:59, 26 March 2010‎ imported>Andy‎ 19,585 bytes −2‎ →‎Preferences for the Auto-tactic
• curprev 12:5712:57, 26 March 2010‎ imported>Andy‎ 19,587 bytes −11‎ →‎Preferences for the Auto-tactic
• curprev 12:5612:56, 26 March 2010‎ imported>Andy‎ 19,598 bytes −2‎ →‎Preferences for the Auto-tactic
• curprev 12:5512:55, 26 March 2010‎ imported>Andy‎ 19,600 bytes +91‎ →‎Auto-tactic and Post-tactic
• curprev 12:2112:21, 26 March 2010‎ imported>Andy‎ 19,509 bytes −2‎ →‎Proof Information View
• curprev 12:2112:21, 26 March 2010‎ imported>Andy‎ 19,511 bytes +3‎ →‎Proof Information View
• curprev 11:5711:57, 26 March 2010‎ imported>Andy‎ 19,508 bytes −126‎ →‎The Proof Control View
• curprev 11:5611:56, 26 March 2010‎ imported>Andy‎ 19,634 bytes +256‎ →‎The Proof Control View
• curprev 11:4911:49, 26 March 2010‎ imported>Andy‎ 19,378 bytes +53‎ →‎Rewrite Rules