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

2012-03-11	Ian Jackson	fix a section => subsection	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	fix create tip tbd	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip create base	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge conditions into conditions	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit clarify note re ingredient order	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit conditions into conditions	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip creates	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	formatting move/add some qeds	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	simple commit unique base clarification	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	annotation calculation	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	fix up some lemmas re ends	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	a todo item	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit foreign inclusion	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	a todo item	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip anticommit foreign inclusion	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge reference to no replay fix ref to be more regular	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit make note re merge base vs merge rhs ordering	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit - split out ordering	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge coherence use two implies in statement since...	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit coherence	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit rename From Base to Into Base	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	anticommit base acyclic	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	strengthen anticommit condition to From Base	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge foreign inclusion	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	move alternative formulation of merge results into...	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	Prove that plain git merges on non-tb branches are ok	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	Mention that simple commit justification applies to...	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	clarify text re non-tb flattened re-inclusion	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge wip	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge tip contents done	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge tip contentss: clarify arbitrariness of D	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	capitalise a few names	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	merge remove redundant element in condition	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	some alternative formulations of \merge	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	add definition of \nequiv. \not\equiv still does not...	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-11	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	merge base acyclic (and condition)	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	clarify P sets none overlap	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge tip contents	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	rename exclusive tip contents corollary	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	merge complex done	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - reformulate merge ends conditions	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	merge ends condition - change condition to one that...	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - final case?	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - fix bug, improve merge ends condition	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - a bug	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	improve merge ends formatting	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - C = D	commit \| commitdiff \| tree \| snapshot
2012-03-08	Ian Jackson	wip merge complex - a fix	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	use \p rather than just P	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	move merge X and Y def up	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	tiny clarification	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	introduce \proofstarts	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	wip merge content	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	add some xxx's	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	anticommit desired contents	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	Rename \merge to \mergeof so we can have \merge	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	provide \nge and \nle (which \not uses)	commit \| commitdiff \| tree \| snapshot
2012-03-06	Ian Jackson	wip anticommit desired contents	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	formatting fix	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	fix title etc. in merge use of no replay	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip anticommit	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	improve "no replay for merge results" (correct conditio...	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	provide \base and \patch	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	No Replay for Merge Results	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip anticommit; use \merge	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	define \merge and add it to notation section	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip experiment merge	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip anticommit	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	finish merge unique base (we think)	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip merge	commit \| commitdiff \| tree \| snapshot
2012-03-05	Ian Jackson	wip merge	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	heading for other side	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	fix a typo	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	a possible bug	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	increase \errorcontextlines	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	add some missing { } around macro args	commit \| commitdiff \| tree \| snapshot
2012-03-04	Ian Jackson	subsubsection hyperref font problems: try exciting...	commit \| commitdiff \| tree \| snapshot
2012-03-03	Ian Jackson	demo problem test case	commit \| commitdiff \| tree \| snapshot
2012-03-03	Ian Jackson	add FIXME because \py seems to cause barf in \subsubsection	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	wip merge unique base	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	wip merge unique base	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	lemma calculation of ends, no proof yet	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	clarify by swapping two vars	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	Largeexists	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	merge no replay	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	wip merge	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	wip merge before rejoin tip merge condition	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	wip merge	commit \| commitdiff \| tree \| snapshot
2012-03-02	Ian Jackson	macros \true and \false	commit \| commitdiff \| tree \| snapshot
2012-03-01	Ian Jackson	remove symbol test section	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom