Scenarios for Merging Proofs: Revision history

27 October 2011

• curprev 10:3410:34, 27 October 2011‎ imported>Ladenberger‎ 6,361 bytes +88‎ →‎Proof structure
• curprev 10:3310:33, 27 October 2011‎ imported>Ladenberger‎ 6,273 bytes +69‎ →‎Proof structure

12 August 2009

• curprev 14:3514:35, 12 August 2009‎ imported>Mathieu‎ m 6,204 bytes +1‎ →‎Complicated scenarios

3 October 2008

• curprev 13:2613:26, 3 October 2008‎ imported>Mathieu‎ m 6,203 bytes +170‎ →‎Complicated scenarios
• curprev 13:0813:08, 3 October 2008‎ imported>Mathieu‎ m 6,033 bytes 0‎ Scenario for Merging Proofs moved to Scenarios for Merging Proofs: Uniformity
• curprev 12:5412:54, 3 October 2008‎ imported>Mathieu‎ m 6,033 bytes +25‎ →‎Complicated scenarios
• curprev 12:5412:54, 3 October 2008‎ imported>Mathieu‎ m 6,008 bytes −2‎ →‎Complicated scenarios
• curprev 12:3212:32, 3 October 2008‎ imported>Mathieu‎ m 6,010 bytes +40‎ →‎Complicated scenarios: Hidden
• curprev 12:2712:27, 3 October 2008‎ imported>Mathieu‎ m 5,970 bytes +169‎ user and vcs interactions
• curprev 12:2312:23, 3 October 2008‎ imported>Mathieu‎ m 5,801 bytes −12‎ →‎Simple scenarios (need database evolution)
• curprev 12:2012:20, 3 October 2008‎ imported>Mathieu‎ m 5,813 bytes +8‎ →‎Merging scenarios
• curprev 12:2012:20, 3 October 2008‎ imported>Mathieu‎ m 5,805 bytes +1‎ →‎Proof reuse
• curprev 12:1912:19, 3 October 2008‎ imported>Mathieu‎ m 5,804 bytes +1‎ →‎Complicated scenarios
• curprev 12:1912:19, 3 October 2008‎ imported>Mathieu‎ m 5,803 bytes +1,287‎ Simple scenarios (need database evolution)
• curprev 10:1310:13, 3 October 2008‎ imported>Mathieu‎ m 4,516 bytes +174‎ No edit summary
• curprev 10:1010:10, 3 October 2008‎ imported>Mathieu‎ m 4,342 bytes +230‎ →‎Merging scenarios
• curprev 10:0510:05, 3 October 2008‎ imported>Mathieu‎ m 4,112 bytes +367‎ →‎Merging scenarios
• curprev 09:0009:00, 3 October 2008‎ imported>Mathieu‎ m 3,745 bytes +55‎ →‎Merging scenarios
• curprev 09:0009:00, 3 October 2008‎ imported>Mathieu‎ m 3,690 bytes +2,381‎ Add a table describing the envisionned cases

2 October 2008

• curprev 21:0221:02, 2 October 2008‎ imported>Mathieu‎ m 1,309 bytes +1,309‎ New page: This page is a first tentative to describe the scenario that a merge tool will have to face. == Proof structure == With respect to the merging objective, a proof is made of: # a component ...