~ian / topbloke-formulae.git / commit
| 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 |