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