chiark - git - ian - topbloke-formulae.git/shortlog

2012-05-28	Ian Jackson	strategy: notational fix	commit \| commitdiff \| tree \| snapshot
2012-05-28	Ian Jackson	new macro \statement (for \[\eqn{...}{...}\] - many...	commit \| commitdiff \| tree \| snapshot
2012-05-28	Ian Jackson	strategy notation: introduce \allsrcs	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: split into more files	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	psueomerge: sort out foreign ends	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	annotate foreign ends too	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	foreign notation: replace "D \text{ s.t. } \isforeign...	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	foreign notation: make \foreign into a set	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	foreign notation: introduce \isforeign	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	foreign notation: change \bot to \foreign everywhere	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	psuedomerge: initial version	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	fixes: correct suitable tips	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: notation: change D(K) to G(K)	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	fixes: correct suitable tips	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: traversal wip proofs	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: traversal wip	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: traversal wip	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: replace old \tip... macros	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: remove old stuff	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: traversal wip	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: fixes	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: ranking: proof of termination	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	notation: \hasdirdep	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: notation: setmerge -> merge	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: notation: setmergeof	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: wip traversal	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: notation: add \alg	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: new, wip, notational fixes	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: new, wip, notational fixes	commit \| commitdiff \| tree \| snapshot
2012-05-27	Ian Jackson	strategy: new, wip, found	commit \| commitdiff \| tree \| snapshot
2012-05-13	Ian Jackson	strategy: new, wip	commit \| commitdiff \| tree \| snapshot
2012-05-12	Ian Jackson	strategy: new, wip	commit \| commitdiff \| tree \| snapshot
2012-05-11	Ian Jackson	strategy: new, wip	commit \| commitdiff \| tree \| snapshot
2012-05-11	Ian Jackson	strategy: new, wip	commit \| commitdiff \| tree \| snapshot
2012-05-11	Ian Jackson	strategy: new, wip	commit \| commitdiff \| tree \| snapshot
2012-05-01	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-30	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-29	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-29	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-29	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: rename \gref macros: perl -i~ -pe 's/gref...	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	invariants: remove some slightly ugly colons	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: wip, notation changes, finished planning...	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	notation: change >_1 to >_1: so we can define \succ_1...	commit \| commitdiff \| tree \| snapshot
2012-04-27	Ian Jackson	strategy: use \chapter	commit \| commitdiff \| tree \| snapshot
2012-04-26	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-25	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-24	Ian Jackson	strategy: wip	commit \| commitdiff \| tree \| snapshot
2012-04-24	Ian Jackson	strategy: provide new \pc eg al	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	merge: fix dependency reinsertion blurb to mention...	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: rename anticommit condition Unique Tip...	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: fix various \pendsof and \pancsof to refer...	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: add condition and prove, for merge	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	provide \bigexists	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: single parent unique tips applies to antic...	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: single parent unique tips use cases	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: single parent unique tips lemma	commit \| commitdiff \| tree \| snapshot
2012-04-18	Ian Jackson	unique tips: add to list of invariants	commit \| commitdiff \| tree \| snapshot
2012-03-27	Ian Jackson	fix typo f0.3	commit \| commitdiff \| tree \| snapshot
2012-03-27	Ian Jackson	comments from mdw - fix incorrect refs to B in create tip	commit \| commitdiff \| tree \| snapshot
2012-03-27	Ian Jackson	comments from mdw - add note re universal quantification	commit \| commitdiff \| tree \| snapshot
2012-03-27	Ian Jackson	comments from mdw - add section on \set to notation	commit \| commitdiff \| tree \| snapshot
2012-03-27	Ian Jackson	comments from mdw - clarify that \p are disjoint by...	commit \| commitdiff \| tree \| snapshot
2012-03-26	Ian Jackson	clarify proof of calculation of ends	commit \| commitdiff \| tree \| snapshot
2012-03-26	Ian Jackson	fix notation in calculation of ends	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	add final.ps to default target	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	clarify merge complex D=C	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	get rid of a leftover spurious \neg[]	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	fix leftover \land	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	commentary about exhaustiveness	commit \| commitdiff \| tree \| snapshot
2012-03-25	Ian Jackson	\nothaspatch with two slashes again as it's not equival...	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	refactor for coherence cases - merge	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	refactor for coherence cases - simple, fix leftover ~	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	refactor for coherence cases - anticommit	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	fix wrong symbols in simple	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	refactor for coherence cases - simple, more	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	refactor for coherence cases - simple	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - clarify Merge Coherence (for...	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Merge Coherence (for disagree)	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Merge Coherence (for both...	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Anticommit	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Anticommit wip	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Create Tip	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Create Base	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	simple - improve title cap	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Simple / Coherence	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	simple commit fix P notation	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Commit Annotation	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Tip Own Contents	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - change notation to F in defn	commit \| commitdiff \| tree \| snapshot
2012-03-21	Ian Jackson	wip exclusive haspatch - reorder notation	commit \| commitdiff \| tree \| snapshot
2012-03-20	Ian Jackson	wip exclusive haspatch - better kerning	commit \| commitdiff \| tree \| snapshot
2012-03-20	Ian Jackson	wip exclusive haspatch - better symbol	commit \| commitdiff \| tree \| snapshot
2012-03-20	Ian Jackson	wip exclusive haspatch - notation	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	swap L and R headers and footers, better for 2-up outpu...	commit \| commitdiff \| tree \| snapshot
next

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom