~ian / topbloke-formulae.git / history
| 2012-03-21 | Ian Jackson | wip exclusive haspatch - fix Anticommit | blob | commitdiff | raw |
| 2012-03-21 | Ian Jackson | wip exclusive haspatch - fix Anticommit wip | blob | commitdiff | raw | diff to current |
| 2012-03-18 | Ian Jackson | rationalise patch notation names - anticommit | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | rename Tip Self Contents -> Tip Own Contents f0.2 | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | rename Tip Self Inpatch -> Tip Self Contents | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | remove a couple of spurious $\qed$ | blob | commitdiff | raw | diff to current |
| 2012-03-16 | Ian Jackson | split into multiple source files | blob | commitdiff | raw | diff to current |