chiark / gitweb /
strategy: wip ends reachability
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 00:57:44 +0000 (01:57 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 14 Jul 2012 00:57:44 +0000 (01:57 +0100)
commit13a217e73c1ab13c7899dd2c1be7cbc909fed331
tree331cf1af1c3291254ffb7a8a3bb7bbe52a21a868
parent29dc9ebb649e71ccdee72c704377fbe623705404
strategy: wip ends reachability
strategy.tex