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

2013-08-10	Ian Jackson	strategy: define W in Notation master	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	strategy: add a TODO since Base Ends Supreme is not...	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	strategy: w gives commits, not sets	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	notation: clarify >=	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: add some $\qed$s	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: fix terminology for foreign commits	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: $\qed$ for Bases' Children	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: State C's inclusion in terms of stmtmergeof	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: Fix formatting	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: rename Foreign Merge (was Foreign Merges)	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: fix and clarify Suitable Tips	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	merge: add non-cyclic Condition to Base Merge (although...	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	create-tip: Add a $\qed$	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	create-base: Add a $\qed$	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	strategy: define O^P^-	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	strategy: define w (as w(P) rather than w(H)	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	strategy: Define H in notation	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: Fix Foreign Inclusion	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	Foreign Ancestry: rename from Foreign Contents (and...	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: Bases' Children	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: commentary about foreign apparently-pseudo...	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: new Ingredients condition	commit \| commitdiff \| tree \| snapshot
2013-08-10	Ian Jackson	pseudomerge: clearer Base Only	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ian Jackson	Makefile: printing rune	commit \| commitdiff \| tree \| snapshot
2013-08-09	Ian Jackson	pseudomerge: Bases' Children wip ?	commit \| commitdiff \| tree \| snapshot
2013-08-07	Ian Jackson	invariants: change notation in Bases' Children	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	merge: prove bases' children	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	invariants: introduce bases' children; some of the...	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	formatting: use \pagestyle{fancyplain} so "plain" ...	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	notation: fixes from paper markup of 389264b	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	notation: clarify git merge notations	commit \| commitdiff \| tree \| snapshot
2013-08-04	Ian Jackson	structure: add document end marker	commit \| commitdiff \| tree \| snapshot
2012-07-16	Ian Jackson	strategy: traversal, Tip-Merge, from base, Foreign...	commit \| commitdiff \| tree \| snapshot
2012-07-16	Ian Jackson	strategy: traversal, Tip-Merge, from base, Tip Merge...	commit \| commitdiff \| tree \| snapshot
2012-07-16	Ian Jackson	strategy: traversal, Tip-Merge, from base, ingredients	commit \| commitdiff \| tree \| snapshot
2012-07-16	Ian Jackson	strategy: wip traversal.	commit \| commitdiff \| tree \| snapshot
2012-07-16	Ian Jackson	strategy: wip traversal.	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: sort out some headings	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: introduce \condproof	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: rename trav-alg.tex to traversal.tex	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: move traversal proofs inline	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: reachable is going well	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: wip reachable etc.	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: wip ends reachability	commit \| commitdiff \| tree \| snapshot
2012-07-14	Ian Jackson	strategy: wip ends reachability before py only	commit \| commitdiff \| tree \| snapshot
2012-07-12	Ian Jackson	notation: fixes from annotations	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: wip Recreate Base Final Declaration	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: Prove Recreate Base Beginning - done	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: Prove Recreate Base Beginning - Create Acyclic	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: Base/Tip Correct Contents chane notation	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: proof of Tip Correct Contents	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	traversal: wip prove Recreate Base Beginning OK, curren...	commit \| commitdiff \| tree \| snapshot
2012-07-07	Ian Jackson	create base: improve acyclic condition	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	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
next

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

RSS Atom