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

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
2012-03-18	Ian Jackson	revid - use "git foo" not "git-foo"	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	revid - better deps	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	make clean - remove *.ps	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	revid - include	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	revid - make more suitable for us	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	.git-revid from my trains.git	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	more sophisticated makefile (make once etc.)	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	merge coherence complex - remove unneeded ref to def...	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	merge coherence complex - fix proof intro re haspatch...	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	fix non-topbloke merges empty ends proof	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	rationalise patch notation names - anticommit	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	provide \pl etc.	commit \| commitdiff \| tree \| snapshot
2012-03-18	Ian Jackson	rationalise patch notation names - annotations	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	rename Tip Self Contents -> Tip Own Contents f0.2	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	rename Tip Self Inpatch -> Tip Self Contents	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	small fixes	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	non-topbloke merges fix merge ends proof	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	be more rigorous about conformance	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	add note about non-exclusivity of \haspatch and \nothas...	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	use new extended Self Tip Inpatch	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	extend Self Tip Inpatch	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	remove a couple of spurious $\qed$	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	remove spurious .	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify and fix tip conten...	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify tip contents R...	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - sort out complex case...	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - fix several P to \p	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - remove wrong "on R"	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - add missing \	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify Non-Topbloke merge...	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify Non-Topbloke merges	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - relax Foreign Merges	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	merge fixes/clarifications - change , to \land	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	split into multiple source files	commit \| commitdiff \| tree \| snapshot
2012-03-16	Ian Jackson	remove a spurious \newpage	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom