User:Nicolas/Collections/ADVANCE D3.4 Improvement of automated proof: Revision history

21 November 2014

• curprev 16:4616:46, 21 November 2014‎ imported>Laurent‎ m 4,190 bytes +11‎ →‎Motivations / Decisions
• curprev 16:4516:45, 21 November 2014‎ imported>Laurent‎ 4,179 bytes +334‎ →‎Motivations / Decisions: Improve SMT description
• curprev 16:3916:39, 21 November 2014‎ imported>Laurent‎ m 3,845 bytes +12‎ →‎Overview
• curprev 16:3916:39, 21 November 2014‎ imported>Laurent‎ m 3,833 bytes −9‎ →‎Overview

6 November 2014

• curprev 15:3415:34, 6 November 2014‎ imported>Laurent‎ 3,842 bytes +183‎ →‎Motivations / Decisions
• curprev 14:4914:49, 6 November 2014‎ imported>Laurent‎ 3,659 bytes +185‎ →‎Motivations / Decisions

3 November 2014

• curprev 16:3416:34, 3 November 2014‎ imported>Nicolas‎ m 3,474 bytes +556‎ →‎Conclusion
• curprev 15:4615:46, 3 November 2014‎ imported>Nicolas‎ m 2,918 bytes −8‎ →‎Available Documentation
• curprev 15:4615:46, 3 November 2014‎ imported>Nicolas‎ m 2,926 bytes +157‎ No edit summary
• curprev 15:2515:25, 3 November 2014‎ imported>Nicolas‎ m 2,769 bytes +453‎ No edit summary
• curprev 15:1915:19, 3 November 2014‎ imported>Nicolas‎ m 2,316 bytes +20‎ →‎Motivations / Decisions

16 October 2014

• curprev 08:1908:19, 16 October 2014‎ imported>Sebastian‎ 2,296 bytes +109‎ →‎Available Documentation

15 October 2014

• curprev 12:3412:34, 15 October 2014‎ imported>Sebastian‎ 2,187 bytes +293‎ →‎Motivations / Decisions
• curprev 12:2612:26, 15 October 2014‎ imported>Sebastian‎ 1,894 bytes +1,390‎ →‎Motivations / Decisions

6 October 2014

• curprev 14:2914:29, 6 October 2014‎ imported>Nicolas‎ m 504 bytes −354‎ →‎Available Documentation
• curprev 14:2514:25, 6 October 2014‎ imported>Nicolas‎ m 858 bytes +18‎ No edit summary
• curprev 14:2514:25, 6 October 2014‎ imported>Nicolas‎ 840 bytes +840‎ Created page with "== Overview == {{TODO}} == Motivations / Decisions == {{TODO}} == Available Documentation == Tactic profiles are described in the Rodin Handbook<ref>http://handbook.event-b...."