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

2012-07-07	Ian Jackson	notation: strip word "merge" from \setmergeof etc....	blob \| commitdiff \| raw
2012-07-07	Ian Jackson	internal notation: invent \commitmergename and use...	blob \| commitdiff \| raw \| diff to current
2012-07-07	Ian Jackson	notation: define \stmtmergeof and \setmergeof	blob \| commitdiff \| raw \| diff to current
2012-07-07	Ian Jackson	internal notation: break out \mergeof	blob \| commitdiff \| raw \| diff to current
2012-07-07	Ian Jackson	internal notation: rename \merge and \mergeof to \commi...	blob \| commitdiff \| raw \| diff to current
2012-05-28	Ian Jackson	new macro \statement (for \[\eqn{...}{...}\] - many...	blob \| commitdiff \| raw \| diff to current
2012-05-28	Ian Jackson	strategy notation: introduce \allsrcs	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: split into more files	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	foreign notation: make \foreign into a set	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	foreign notation: introduce \isforeign	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	foreign notation: change \bot to \foreign everywhere	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	psuedomerge: initial version	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: notation: change D(K) to G(K)	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: replace old \tip... macros	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	notation: \hasdirdep	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: notation: setmerge -> merge	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: notation: setmergeof	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: notation: add \alg	blob \| commitdiff \| raw \| diff to current
2012-05-27	Ian Jackson	strategy: new, wip, notational fixes	blob \| commitdiff \| raw \| diff to current
2012-05-13	Ian Jackson	strategy: new, wip	blob \| commitdiff \| raw \| diff to current
2012-05-12	Ian Jackson	strategy: new, wip	blob \| commitdiff \| raw \| diff to current
2012-05-11	Ian Jackson	strategy: new, wip	blob \| commitdiff \| raw \| diff to current
2012-05-01	Ian Jackson	strategy: wip	blob \| commitdiff \| raw \| diff to current
2012-04-27	Ian Jackson	strategy: rename \gref macros: perl -i~ -pe 's/gref...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Ian Jackson	strategy: wip	blob \| commitdiff \| raw \| diff to current
2012-04-27	Ian Jackson	strategy: wip, notation changes, finished planning...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Ian Jackson	notation: change >_1 to >_1: so we can define \succ_1...	blob \| commitdiff \| raw \| diff to current
2012-04-27	Ian Jackson	strategy: use \chapter	blob \| commitdiff \| raw \| diff to current
2012-04-24	Ian Jackson	strategy: wip	blob \| commitdiff \| raw \| diff to current
2012-04-24	Ian Jackson	strategy: provide new \pc eg al	blob \| commitdiff \| raw \| diff to current
2012-04-18	Ian Jackson	provide \bigexists	blob \| commitdiff \| raw \| diff to current
2012-03-25	Ian Jackson	\nothaspatch with two slashes again as it's not equival...	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom