~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 22:03:58 +0000 (23:03 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 22:03:58 +0000 (23:03 +0100) | ||
| commit | 10349841867fe9a86f40563ed485773e20238cb5 | |
| tree | ee2f6d7a05b8f97ef01c99c02219f1ad3021f213 | tree | snapshot |
| parent | 2bc0dbccf0725ffe39234e03102275fceaf0fed5 | commit | diff |
| trav-proofs.tex | diff | blob | history |