notation: use \commitmergename in its definition text, and clarify

internal notation: invent \commitmergename and use it everywhere

perl -i~ -pe 's/\$\\commitmerge\b\$/\\commitmergename/' *.tex

plus the actual definition

notation: define \commitmergeof in terms of \stmtmergeof

notation: define \stmtmergeof and \setmergeof

internal notation: break out \mergeof

internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof - fix

internal notation: rename \merge and \mergeof to \commitmerge and \commitmergeof

wip strategy

strategy: calculate/use \allsrcs

strategy: amendments from p27-28

strategy: wip proofs

strategy: notational fix

new macro \statement (for \[\eqn{...}{...}\] - many possible call sites)

strategy notation: introduce \allsrcs

strategy: split into more files

psueomerge: sort out foreign ends

annotate foreign ends too

foreign notation: replace "D \text{ s.t. } \isforeign{D}" with "D \in \foreign"

foreign notation: make \foreign into a set

foreign notation: introduce \isforeign

perl -i~ -pe 's/\\patchof(\{[^{}]+\})\s+=\s+\\foreign\b/\\isforeign$1/g' *.tex

and then add the definition in article.tex

foreign notation: change \bot to \foreign everywhere

psuedomerge: initial version

fixes: correct suitable tips

strategy: notation: change D(K) to G(K)

fixes: correct suitable tips

strategy: traversal wip proofs

strategy: traversal wip

strategy: traversal wip

strategy: replace old \tip... macros

strategy: remove old stuff

strategy: traversal wip

strategy: fixes

strategy: ranking: proof of termination

notation: \hasdirdep

strategy: notation: setmerge -> merge

strategy: notation: setmergeof

strategy: wip traversal

strategy: notation: add \alg

strategy: new, wip, notational fixes

strategy: new, wip, notational fixes

strategy: new, wip, found

strategy: new, wip

strategy: new, wip

strategy: new, wip

strategy: new, wip

strategy: new, wip

strategy: wip

strategy: wip

strategy: wip

strategy: wip

strategy: wip

strategy: wip

strategy: rename \gref macros: perl -i~ -pe 's/gref([zcuf])/tip$1/g' *.tex

strategy: wip

strategy: wip

strategy: wip

invariants: remove some slightly ugly colons

strategy: wip, notation changes, finished planning we think

notation: change >_1 to >_1: so we can define \succ_1 slightly differently

strategy: use \chapter

strategy: wip

strategy: wip

strategy: wip

strategy: wip

strategy: provide new \pc eg al

merge: fix dependency reinsertion blurb to mention the need for the base to be merged first

unique tips: rename anticommit condition Unique Tip to Correct Tip

unique tips: fix various \pendsof and \pancsof to refer to \py not \p

unique tips: add condition and prove, for merge

provide \bigexists

unique tips: single parent unique tips applies to anticommit too

unique tips: single parent unique tips use cases

unique tips: single parent unique tips lemma

unique tips: add to list of invariants

fix typo

comments from mdw - fix incorrect refs to B in create tip

comments from mdw - add note re universal quantification

comments from mdw - add section on \set to notation

comments from mdw - clarify that \p are disjoint by construction

clarify proof of calculation of ends

fix notation in calculation of ends

add final.ps to default target

clarify merge complex D=C

get rid of a leftover spurious \neg[]

fix leftover \land

commentary about exhaustiveness

\nothaspatch with two slashes again as it's not equivalent to \neg \haspatch; partial revert of d00298b5b6d70bd919824ab8b79d71663f3cdfa6

refactor for coherence cases - merge

refactor for coherence cases - simple, fix leftover ~

refactor for coherence cases - anticommit

fix wrong symbols in simple

refactor for coherence cases - simple, more

refactor for coherence cases - simple

wip exclusive haspatch - clarify Merge Coherence (for neither haspatch)

wip exclusive haspatch - fix Merge Coherence (for disagree)

wip exclusive haspatch - fix Merge Coherence (for both haspatch)

wip exclusive haspatch - fix Anticommit

wip exclusive haspatch - fix Anticommit wip

wip exclusive haspatch - fix Create Tip

wip exclusive haspatch - fix Create Base