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

2012-07-07	Ian Jackson	wip traversal	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	wip traversal	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	wip traversal, diverting to do Recreate-Base first	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	wip traversal	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	wip traversal	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: we have defined \setmerge now	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: remove notation test file	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: strip word "merge" from \setmergeof etc....	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: use \commitmergename in its definition text...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	internal notation: invent \commitmergename and use...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: define \commitmergeof in terms of \stmtmergeof	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	notation: define \stmtmergeof and \setmergeof	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	internal notation: break out \mergeof	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	internal notation: rename \merge and \mergeof to \commi...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	internal notation: rename \merge and \mergeof to \commi...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	wip strategy	commit \| commitdiff \| tree \| snapshot
2012-06-09	Ian Jackson	strategy: calculate/use \allsrcs	commit \| commitdiff \| tree \| snapshot
2012-06-09	Ian Jackson	strategy: amendments from p27-28	commit \| commitdiff \| tree \| snapshot
2012-05-28	Ian Jackson	strategy: wip proofs	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom