chiark / gitweb /
strategy: traversal, Tip-Merge, from base, Foreign Merges
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 16 Jul 2012 04:57:55 +0000 (05:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 16 Jul 2012 04:57:55 +0000 (05:57 +0100)
traversal.tex

index 9ed7172..ab1e6d4 100644 (file)
@@ -230,6 +230,7 @@ R = \tipcn$ and $M = \baseof{W}$.
   \condproof{Merge Acyclic}{
    By Base Acyclic, $\tipcn \nothaspatch \p$.
   }
+  \condproof{Foreign Merges}{ Not applicable. }
 
   TODO TBD