strategy: define W in Notation

strategy: add a TODO since Base Ends Supreme is not defined anywhere

strategy: w gives commits, not sets

notation: clarify >=

pseudomerge: add some $\qed$s

pseudomerge: fix terminology for foreign commits

merge: $\qed$ for Bases' Children

merge: State C's inclusion in terms of stmtmergeof

merge: Fix formatting

merge: rename Foreign Merge (was Foreign Merges)

merge: fix and clarify Suitable Tips

merge: add non-cyclic Condition to Base Merge (although I think it's implied by Merge Acyclic

create-tip: Add a $\qed$

create-base: Add a $\qed$

strategy: define O^P^-

strategy: define w (as w(P) rather than w(H)

strategy: Define H in notation

pseudomerge: Fix Foreign Inclusion

Foreign Ancestry: rename from Foreign Contents (and Totally Foreign Ancestry too)

pseudomerge: Bases' Children

pseudomerge: commentary about foreign apparently-pseudo merges

pseudomerge: new Ingredients condition

pseudomerge: clearer Base Only

Makefile: printing rune

pseudomerge: Bases' Children wip ?

invariants: change notation in Bases' Children

merge: prove bases' children

invariants: introduce bases' children; some of the proofs

formatting: use \pagestyle{fancyplain} so "plain" (chapter heading) pages are just the same

notation: fixes from paper markup of 389264b

notation: clarify git merge notations

structure: add document end marker

strategy: traversal, Tip-Merge, from base, Foreign Merges

strategy: traversal, Tip-Merge, from base, Tip Merge & Merge Acyclic

strategy: traversal, Tip-Merge, from base, ingredients

strategy: wip traversal.

strategy: wip traversal.

strategy: sort out some headings

strategy: introduce \condproof

strategy: rename trav-alg.tex to traversal.tex

strategy: move traversal proofs inline

strategy: reachable is going well

strategy: wip reachable etc.

strategy: wip ends reachability

strategy: wip ends reachability before py only

notation: fixes from annotations

traversal: wip Recreate Base Final Declaration

traversal: Prove Recreate Base Beginning - done

traversal: Prove Recreate Base Beginning - Create Acyclic

traversal: Base/Tip Correct Contents chane notation

traversal: proof of Tip Correct Contents

traversal: wip prove Recreate Base Beginning OK, currently need to prove Tip Correct Contents

create base: improve acyclic condition

wip traversal

wip traversal

wip traversal

wip traversal, diverting to do Recreate-Base first

wip traversal

wip traversal

notation: we have defined \setmerge now

notation: remove notation test file

notation: strip word "merge" from \setmergeof etc.; use new definition of \commitmerge based on \mergeof; commit the various other things we tried in notationtest for future reference

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