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

simple - improve title cap

wip exclusive haspatch - fix Simple / Coherence

simple commit fix P notation

wip exclusive haspatch - fix Commit Annotation

wip exclusive haspatch - fix Tip Own Contents

wip exclusive haspatch - change notation to F in defn

wip exclusive haspatch - reorder notation

wip exclusive haspatch - better kerning

wip exclusive haspatch - better symbol

wip exclusive haspatch - notation

swap L and R headers and footers, better for 2-up output etc.

revid - use "git foo" not "git-foo"

revid - better deps

make clean - remove *.ps

revid - include

revid - make more suitable for us

.git-revid from my trains.git

more sophisticated makefile (make once etc.)

merge coherence complex - remove unneeded ref to def of haspatch

merge coherence complex - fix proof intro re haspatch nonexclusivity

fix non-topbloke merges empty ends proof

rationalise patch notation names - anticommit

provide \pl etc.

rationalise patch notation names - annotations

rename Tip Self Contents -> Tip Own Contents

rename Tip Self Inpatch -> Tip Self Contents

small fixes

non-topbloke merges fix merge ends proof

be more rigorous about conformance

add note about non-exclusivity of \haspatch and \nothaspatch

use new extended Self Tip Inpatch

extend Self Tip Inpatch

remove a couple of spurious $\qed$

remove spurious .

merge fixes/clarifications - clarify and fix tip contents R \in \py

merge fixes/clarifications - clarify tip contents R \not\in \py

merge fixes/clarifications - sort out complex case D = C

merge fixes/clarifications - fix several P to \p

merge fixes/clarifications - remove wrong "on R"

merge fixes/clarifications - add missing \

merge fixes/clarifications - clarify Non-Topbloke merges - add a wlog

merge fixes/clarifications - clarify Non-Topbloke merges

merge fixes/clarifications - relax Foreign Merges

merge fixes/clarifications - change , to \land

split into multiple source files

remove a spurious \newpage

merge ends conditions change order of precondition to put M in middle, for clarity

wording improvement

mention that merge can be used for dependency reinsertion

Revert "rename anticommit section"

This reverts commit 8649610cb4d7ce51cda5040bf9f17c05636b016f.

Revert all "wip dependency insertion"

This is actually a subcase of Merge.

Revert "wip dependency insertion"

This reverts commit 12818e0da31738adbaecf129c1e697633d371cf8.

Revert "wip dependency insertion"

This reverts commit c39f3f1f5a5df2a4d628f335f7aaad44c0f68913.

Revert "wip dependency insertion"

This reverts commit e41fe6dd695b0354aa46929828f0d4ffd604f643.

Revert "wip dependency insertion"

This reverts commit 2e2c0cd70b9a6819e2289a7b07addb6e19f5012c.

Revert "wip dependency insertion"

This reverts commit d357159ce17651ed7deba459e32400636973b827.

Revert "wip dependency insertion"

This reverts commit c759fdf5965e18b0fc6f713b22526ec9464ed7f7.

Revert "wip dependency insertion"

This reverts commit de686ee8ee88dade41eb58f604a89f901b3a13a1.

Revert "wip dependency insertion"

This reverts commit fc96ba0c73d771839a025fc5cb771554cf178eaa.

wip dependency insertion

wip dependency insertion

wip dependency insertion

wip dependency insertion

wip dependency insertion

wip dependency insertion

wip dependency insertion

wip dependency insertion

rename anticommit section