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

2012-03-25	Ian Jackson	\nothaspatch with two slashes again as it's not equival...	blob \| commitdiff \| raw
2012-03-20	Ian Jackson	wip exclusive haspatch - better kerning	blob \| commitdiff \| raw \| diff to current
2012-03-20	Ian Jackson	wip exclusive haspatch - better symbol	blob \| commitdiff \| raw \| diff to current
2012-03-20	Ian Jackson	wip exclusive haspatch - notation	blob \| commitdiff \| raw \| diff to current
2012-03-18	Ian Jackson	swap L and R headers and footers, better for 2-up outpu...	blob \| commitdiff \| raw \| diff to current
2012-03-18	Ian Jackson	revid - include	blob \| commitdiff \| raw \| diff to current
2012-03-18	Ian Jackson	provide \pl etc.	blob \| commitdiff \| raw \| diff to current
2012-03-16	Ian Jackson	split into multiple source files	blob \| commitdiff \| raw \| diff to current
2012-03-16	Ian Jackson	remove a spurious \newpage	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ian Jackson	merge ends conditions change order of precondition...	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ian Jackson	wording improvement	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ian Jackson	mention that merge can be used for dependency reinsertion	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ian Jackson	Revert "rename anticommit section"	blob \| commitdiff \| raw \| diff to current
2012-03-15	Ian Jackson	Revert all "wip dependency insertion"	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	wip dependency insertion	blob \| commitdiff \| raw \| diff to current
2012-03-14	Ian Jackson	rename anticommit section	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	more clarifications and fixes from reread	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	more clarifications and fixes from reread	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	more clarifications and fixes from reread	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	clarifications and fixes from reread	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	improve wording	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	improve wording	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base: remove ingredients condition	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base: strengthen create acyclic condition	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	formatting: a couple of extra [ ]	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	formatting: section headings on lh pages too	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	in simple commit rename parent from A to L	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	add purported proof of calculation of ends	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	fix calculation of ends formula	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	assert that exact ancestors is trivial	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	proof of alternative merge formulation	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	remove trailing ws	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create tip	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	simple commit foreign inclusion use simple foreign...	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	introduce and use Totally Foreign Contents	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	wip create tip	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	add missing []	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	improve proof of create base inclusion	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create tip wip	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	introduce macros \pq \pqy \pqn	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base rename cond to create acyclic	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base fix base acyclic and condition	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	wip create tip	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	todo list item	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	use Q not B as patch name in create base	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	rename Ingredients Prohibit Replay to Prevent	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	replace various no replay with Ingredients Prohibit...	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	rename merge Ordering of L... to Ordering of Ingredients	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base foreign contents	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	change Not Applicable [] to Not Applicable	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	create base foreign inclusion	blob \| commitdiff \| raw \| diff to current
2012-03-12	Ian Jackson	wip create base	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	create base coherence fix title	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	create base fix def	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	prove and use totally foreign contents	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	fix some headings	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	formalise foreign merges	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	Foreign Contents section in a couple of places	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	new foreign contents restriction	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	fix a section => subsection	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	fix create tip tbd	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	wip create base	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	merge conditions into conditions	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	anticommit clarify note re ingredient order	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	anticommit conditions into conditions	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	wip creates	blob \| commitdiff \| raw \| diff to current
2012-03-11	Ian Jackson	formatting move/add some qeds	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom