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

2012-03-18	Ian Jackson	revid - make more suitable for us	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	.git-revid from my trains.git	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	more sophisticated makefile (make once etc.)	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	merge coherence complex - remove unneeded ref to def...	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	merge coherence complex - fix proof intro re haspatch...	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	fix non-topbloke merges empty ends proof	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	rationalise patch notation names - anticommit	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	provide \pl etc.	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	rationalise patch notation names - annotations	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	rename Tip Self Contents -> Tip Own Contents	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	rename Tip Self Inpatch -> Tip Self Contents	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	small fixes	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	non-topbloke merges fix merge ends proof	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	be more rigorous about conformance	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	add note about non-exclusivity of \haspatch and \nothaspatch	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	use new extended Self Tip Inpatch	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	extend Self Tip Inpatch	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	remove a couple of spurious $\qed$	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	remove spurious .	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify and fix tip contents...	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify tip contents R...	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - sort out complex case...	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - fix several P to \p	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - remove wrong "on R"	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - add missing \	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify Non-Topbloke merges...	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - clarify Non-Topbloke merges	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - relax Foreign Merges	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	merge fixes/clarifications - change , to \land	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	split into multiple source files	commit \| commitdiff \| tree
2012-03-16	Ian Jackson	remove a spurious \newpage	commit \| commitdiff \| tree
2012-03-15	Ian Jackson	merge ends conditions change order of precondition...	commit \| commitdiff \| tree
2012-03-15	Ian Jackson	wording improvement	commit \| commitdiff \| tree
2012-03-15	Ian Jackson	mention that merge can be used for dependency reinsertion	commit \| commitdiff \| tree
2012-03-15	Ian Jackson	Revert "rename anticommit section"	commit \| commitdiff \| tree
2012-03-15	Ian Jackson	Revert all "wip dependency insertion"	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	wip dependency insertion	commit \| commitdiff \| tree
2012-03-14	Ian Jackson	rename anticommit section	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	more clarifications and fixes from reread	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	more clarifications and fixes from reread	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	more clarifications and fixes from reread	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	clarifications and fixes from reread	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	improve wording	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	improve wording	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base: remove ingredients condition	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base: strengthen create acyclic condition	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	formatting: a couple of extra [ ]	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	formatting: section headings on lh pages too	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	in simple commit rename parent from A to L	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	add purported proof of calculation of ends	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	fix calculation of ends formula	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	assert that exact ancestors is trivial	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	proof of alternative merge formulation	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	remove trailing ws	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create tip	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	simple commit foreign inclusion use simple foreign...	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	introduce and use Totally Foreign Contents	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	wip create tip	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	add missing []	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	improve proof of create base inclusion	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create tip wip	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	introduce macros \pq \pqy \pqn	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base rename cond to create acyclic	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base fix base acyclic and condition	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	wip create tip	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	todo list item	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	use Q not B as patch name in create base	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	rename Ingredients Prohibit Replay to Prevent	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	replace various no replay with Ingredients Prohibit...	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	rename merge Ordering of L... to Ordering of Ingredients	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base foreign contents	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	change Not Applicable [] to Not Applicable	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	create base foreign inclusion	commit \| commitdiff \| tree
2012-03-12	Ian Jackson	wip create base	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	create base coherence fix title	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	create base fix def	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	prove and use totally foreign contents	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	fix some headings	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	formalise foreign merges	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	Foreign Contents section in a couple of places	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	new foreign contents restriction	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	fix a section => subsection	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	fix create tip tbd	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	wip create base	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	merge conditions into conditions	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	anticommit clarify note re ingredient order	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	anticommit conditions into conditions	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	wip creates	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	formatting move/add some qeds	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	simple commit unique base clarification	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	annotation calculation	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	fix up some lemmas re ends	commit \| commitdiff \| tree
2012-03-11	Ian Jackson	a todo item	commit \| commitdiff \| tree
next

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

RSS Atom