chiark / gitweb /
traversal: wip prove Recreate Base Beginning OK, currently need to prove Tip Correct...
[topbloke-formulae.git] / anticommit.tex
2012-07-07 Ian Jacksoninternal notation: invent \commitmergename and use...
2012-07-07 Ian Jacksoninternal notation: rename \merge and \mergeof to \commi...
2012-05-27 Ian Jacksonforeign notation: replace "D \text{ s.t. } \isforeign...
2012-05-27 Ian Jacksonforeign notation: introduce \isforeign
2012-05-27 Ian Jacksonforeign notation: change \bot to \foreign everywhere
2012-04-18 Ian Jacksonunique tips: rename anticommit condition Unique Tip...
2012-04-18 Ian Jacksonunique tips: single parent unique tips applies to antic...
2012-03-27 Ian Jacksonfix typo f0.3
2012-03-21 Ian Jacksonrefactor for coherence cases - anticommit
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit
2012-03-21 Ian Jacksonwip exclusive haspatch - fix Anticommit wip
2012-03-18 Ian Jacksonrationalise patch notation names - anticommit
2012-03-16 Ian Jacksonrename Tip Self Contents -> Tip Own Contents f0.2
2012-03-16 Ian Jacksonrename Tip Self Inpatch -> Tip Self Contents
2012-03-16 Ian Jacksonremove a couple of spurious $\qed$
2012-03-16 Ian Jacksonsplit into multiple source files