~ian / topbloke-formulae.git / history
| 2013-08-10 | Ian Jackson | create-tip: Add a $\qed$ | blob | commitdiff | raw |
| 2013-08-10 | Ian Jackson | Foreign Ancestry: rename from Foreign Contents (and... | blob | commitdiff | raw | diff to current |
| 2013-08-04 | Ian Jackson | invariants: introduce bases' children; some of the... | blob | commitdiff | raw | diff to current |
| 2012-04-18 | Ian Jackson | unique tips: single parent unique tips use cases | blob | commitdiff | raw | diff to current |
| 2012-03-27 | Ian Jackson | comments from mdw - fix incorrect refs to B in create tip | blob | commitdiff | raw | diff to current |
| 2012-03-21 | Ian Jackson | wip exclusive haspatch - fix Create Tip | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |