~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 23:27:48 +0000 (00:27 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 23:27:48 +0000 (00:27 +0100) | ||
| commit | 63b8fab3f0b73ade21eaa412eeaed13aeb5ee691 | |
| tree | 78407357d228d12cfb02d6e1a7d2b6e95d455d95 | tree | snapshot |
| parent | 0ef6782afa245b0744d82dc7ff2d5a34a1fe2dc1 | commit | diff |
| trav-proofs.tex | diff | blob | history |