author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
Sat, 7 Jul 2012 23:28:40 +0000 (00:28 +0100) | ||
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
Sat, 7 Jul 2012 23:28:40 +0000 (00:28 +0100) | ||
commit | bad4f62b80ab375d478d5ad59908dfb194b944e7 | |
tree | 0c0caaf7c7f2d0c27214ec6a8a7155b7b0d948a3 | tree | snapshot |
parent | 63b8fab3f0b73ade21eaa412eeaed13aeb5ee691 | commit | diff |
trav-proofs.tex | diff | blob | history |