2012-03-18 | Ian Jackson | rationalise patch notation names - anticommit | blob | commitdiff | raw |
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 |