~ian / topbloke-formulae.git / commit
| author | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Mon, 28 May 2012 00:12:19 +0000 (01:12 +0100) | ||
| committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | |
| Mon, 28 May 2012 00:12:19 +0000 (01:12 +0100) | ||
| commit | 6e2f1b176fed02ad882ba53b5f930f0bf8e3a9ef | |
| tree | 5853cfa452fc287ba712df66337985e0eea10528 | tree | snapshot |
| parent | c497f56e8a7f09c4c328bd7560631d8773b7e676 | commit | diff |
| trav-alg.tex | diff | blob | history | |
| trav-proofs.tex | diff | blob | history |