chiark / gitweb /
merge: add non-cyclic Condition to Base Merge (although I think it's implied by Merge...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:02:35 +0000 (20:02 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 10 Aug 2013 19:02:35 +0000 (20:02 +0100)
commit510466038ea660a384f7f8591cf1bda5dfdb9074
tree9728433c57eba2b9d58abc0eeeb3884da7de4c51
parentd487ea8f587d3e514a04ee7b99d6d14f27792851
merge: add non-cyclic Condition to Base Merge (although I think it's implied by Merge Acyclic
merge.tex