~ian / topbloke-formulae.git / history
| 2013-08-10 | Ian Jackson | create-base: 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-07-07 | Ian Jackson | create base: improve acyclic condition | 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-21 | Ian Jackson | wip exclusive haspatch - fix Create Base | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | remove spurious . | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |