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

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

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

RSS Atom