D23 Improvements to Existing Provers: Revision history

27 January 2010

• curprev 11:4111:41, 27 January 2010‎ imported>Laurent‎ m 5,215 bytes −2‎ →‎Motivations
• curprev 11:3811:38, 27 January 2010‎ imported>Laurent‎ m 5,217 bytes +16‎ →‎Motivations
• curprev 11:3811:38, 27 January 2010‎ imported>Laurent‎ m 5,201 bytes +2‎ →‎Motivations
• curprev 09:3909:39, 27 January 2010‎ imported>Pascal‎ 5,199 bytes +1,261‎ →‎Motivations

8 January 2010

• curprev 11:4411:44, 8 January 2010‎ imported>Pascal‎ m 3,938 bytes +7‎ →‎Planning
• curprev 11:2911:29, 8 January 2010‎ imported>Pascal‎ 3,931 bytes −204‎ →‎Available Documentation
• curprev 11:2211:22, 8 January 2010‎ imported>Pascal‎ m 4,135 bytes 0‎ →‎Planning
• curprev 11:2211:22, 8 January 2010‎ imported>Pascal‎ m 4,135 bytes −34‎ →‎Planning
• curprev 11:2111:21, 8 January 2010‎ imported>Pascal‎ m 4,169 bytes −34‎ →‎Choices / Decisions

7 January 2010

• curprev 09:4109:41, 7 January 2010‎ imported>Laurent‎ 4,203 bytes +582‎ Heavy editing of the page

6 January 2010

• curprev 15:2815:28, 6 January 2010‎ imported>Laurent‎ m 3,621 bytes 0‎ D23 Improvements on Existing Provers moved to D23 Improvements to Existing Provers: english

17 November 2009

• curprev 15:3515:35, 17 November 2009‎ imported>Pascal‎ m 3,621 bytes +2‎ →‎Choices / Decisions
• curprev 15:3315:33, 17 November 2009‎ imported>Pascal‎ m 3,619 bytes +7‎ →‎Planning
• curprev 15:2915:29, 17 November 2009‎ imported>Nicolas‎ m 3,612 bytes +1,107‎ →‎Choices / Decisions
• curprev 14:3814:38, 17 November 2009‎ imported>Nicolas‎ m 2,505 bytes +181‎ →‎Planning
• curprev 14:3014:30, 17 November 2009‎ imported>Pascal‎ m 2,324 bytes +5‎ →‎Available Documentation
• curprev 14:2914:29, 17 November 2009‎ imported>Pascal‎ m 2,319 bytes +14‎ →‎Motivations
• curprev 14:2714:27, 17 November 2009‎ imported>Pascal‎ m 2,305 bytes +6‎ →‎Overview
• curprev 14:1114:11, 17 November 2009‎ imported>Nicolas‎ m 2,299 bytes +91‎ →‎Overview
• curprev 14:1014:10, 17 November 2009‎ imported>Nicolas‎ m 2,208 bytes +10‎ →‎Overview
• curprev 10:5710:57, 17 November 2009‎ imported>Nicolas‎ m 2,198 bytes +89‎ No edit summary
• curprev 10:4010:40, 17 November 2009‎ imported>Nicolas‎ m 2,109 bytes −59‎ →‎Overview
• curprev 10:2610:26, 17 November 2009‎ imported>Nicolas‎ m 2,168 bytes −65‎ →‎Motivations
• curprev 10:2010:20, 17 November 2009‎ imported>Nicolas‎ m 2,233 bytes +46‎ →‎Overview
• curprev 10:1310:13, 17 November 2009‎ imported>Nicolas‎ m 2,187 bytes +2,148‎ A first draft

16 November 2009

• curprev 10:3310:33, 16 November 2009‎ imported>Mathieu‎ m 39 bytes +31‎ Category:D23 Deliverable
• curprev 09:0209:02, 16 November 2009‎ imported>Nicolas‎ m 8 bytes +8‎ New page: {{TODO}}