chiark / gitweb /
strategy: notational fix
[topbloke-formulae.git] / anticommit.tex
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