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

2012-03-08	Ian Jackson	wip merge complex - C = D	commit \| commitdiff \| tree
2012-03-08	Ian Jackson	wip merge complex - a fix	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	use \p rather than just P	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	wip merge complex	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	move merge X and Y def up	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	tiny clarification	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	introduce \proofstarts	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	wip merge content	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	add some xxx's	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	anticommit desired contents	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	Rename \merge to \mergeof so we can have \merge	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	provide \nge and \nle (which \not uses)	commit \| commitdiff \| tree
2012-03-06	Ian Jackson	wip anticommit desired contents	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	formatting fix	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	fix title etc. in merge use of no replay	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip anticommit	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	improve "no replay for merge results" (correct conditions...	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	provide \base and \patch	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	No Replay for Merge Results	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip anticommit; use \merge	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	define \merge and add it to notation section	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip experiment merge	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip anticommit	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	finish merge unique base (we think)	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip merge	commit \| commitdiff \| tree
2012-03-05	Ian Jackson	wip merge	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	heading for other side	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	fix a typo	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	a possible bug	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	increase \errorcontextlines	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	add some missing { } around macro args	commit \| commitdiff \| tree
2012-03-04	Ian Jackson	subsubsection hyperref font problems: try exciting...	commit \| commitdiff \| tree
2012-03-03	Ian Jackson	demo problem test case	commit \| commitdiff \| tree
2012-03-03	Ian Jackson	add FIXME because \py seems to cause barf in \subsubsection	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	wip merge unique base	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	wip merge unique base	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	lemma calculation of ends, no proof yet	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	clarify by swapping two vars	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	Largeexists	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	merge no replay	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	wip merge	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	wip merge before rejoin tip merge condition	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	wip merge	commit \| commitdiff \| tree
2012-03-02	Ian Jackson	macros \true and \false	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	remove symbol test section	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	.gitignore	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	simple commits	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	a wrapper for gather	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	wip	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	fix up default target	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	make postscript	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	makefile etc.	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	trivial test document	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	fixes	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	ends, work, etc.	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	more lemmas	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	work	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	mdw's bigforall	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	more style	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	haspatch	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	no gather	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	try gather	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	convert unique base to equation display	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	patchof	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	remove some obsolete deps	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	better nothaspatch	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	pancs, pends	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	amsmath	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	try leqno	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	full stop	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	drop mnsymbol, use mathabx	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	define patch	commit \| commitdiff \| tree
2012-03-01	Ian Jackson	nice formatting for notation	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	displays	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	not nath, urgh	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	more	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	use strayman	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	wip	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	weird chars before begin document	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	parents	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	pay pan etc.	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	{not,}{in,has}patch	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	declareslashed seems to work	commit \| commitdiff \| tree
2012-02-29	Ian Jackson	tests	commit \| commitdiff \| tree

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

RSS Atom