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

2012-03-21	Ian Jackson	simple - improve title cap	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Simple / Coherence	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	simple commit fix P notation	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Commit Annotation	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	wip exclusive haspatch - fix Tip Own Contents	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	wip exclusive haspatch - change notation to F in defn	commit \| commitdiff \| tree
2012-03-21	Ian Jackson	wip exclusive haspatch - reorder notation	commit \| commitdiff \| tree
2012-03-20	Ian Jackson	wip exclusive haspatch - better kerning	commit \| commitdiff \| tree
2012-03-20	Ian Jackson	wip exclusive haspatch - better symbol	commit \| commitdiff \| tree
2012-03-20	Ian Jackson	wip exclusive haspatch - notation	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	swap L and R headers and footers, better for 2-up output...	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	revid - use "git foo" not "git-foo"	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	revid - better deps	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	make clean - remove *.ps	commit \| commitdiff \| tree
2012-03-18	Ian Jackson	revid - include	commit \| commitdiff \| tree
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
next

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

RSS Atom