2012-07-14 | Ian Jackson | strategy: sort out some headings | blob | commitdiff | raw |
2012-07-14 | Ian Jackson | strategy: introduce \condproof | blob | commitdiff | raw | diff to current |
2012-07-14 | Ian Jackson | strategy: rename trav-alg.tex to traversal.tex | blob | commitdiff | raw | diff to current |