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

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