~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 18:41:05 +0000 (19:41 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Sat, 7 Jul 2012 18:41:05 +0000 (19:41 +0100) | ||
| commit | 45660137914fb1a7e7efe44ef84305add6468c05 | |
| tree | 872bb629faba9d7c6163b39dbbd0bfd65e0cd9a6 | tree | snapshot |
| parent | e53011eb40f80fa71b1c37be544d6b8a2fdf58ab | commit | diff |
| trav-proofs.tex | diff | blob | history |