chiark / gitweb /
unique tips: add condition and prove, for merge
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:34:13 +0000 (21:34 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 18 Apr 2012 20:34:13 +0000 (21:34 +0100)
commit79a138e6a8c3902ba6f9708fc7c57c8d834f5dc6
tree5ce8a50dd2d80563ed205cb8294394af3f844861
parent03a40d446bbe0d0a7f8d7c2e4628b7eea9be3eec
unique tips: add condition and prove, for merge
merge.tex