Mon, 14 Feb 2011 08:45:47 +1100 fixing rob's typo (that->than)
Scott Morrison <scott@tqft.net> [Mon, 14 Feb 2011 08:45:47 +1100] rev 714
fixing rob's typo (that->than)
Wed, 09 Feb 2011 18:21:58 -0800 added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
Kevin Walker <kevin@canyon23.net> [Wed, 09 Feb 2011 18:21:58 -0800] rev 713
added remark to easy gluing prop (compatible with gluing on fields). this is in response to comment from PT that the zero map satisfies the claims of the proposition.
Tue, 08 Feb 2011 13:15:46 -0800 fix typo ('to' -> 'the') noticed my Rob
Kevin Walker <kevin@canyon23.net> [Tue, 08 Feb 2011 13:15:46 -0800] rev 712
fix typo ('to' -> 'the') noticed my Rob
Tue, 08 Feb 2011 07:27:53 -0800 re-added a remark that was accidentally deleted earlier
Kevin Walker <kevin@canyon23.net> [Tue, 08 Feb 2011 07:27:53 -0800] rev 711
re-added a remark that was accidentally deleted earlier
Tue, 08 Feb 2011 07:19:38 -0800 typo
Kevin Walker <kevin@canyon23.net> [Tue, 08 Feb 2011 07:19:38 -0800] rev 710
typo
Tue, 08 Feb 2011 07:14:18 -0800 Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Tue, 08 Feb 2011 07:14:18 -0800] rev 709
Automated merge with https://tqft.net/hg/blob/
Tue, 08 Feb 2011 07:13:42 -0800 clarify "splittable"; r -> l
Kevin Walker <kevin@canyon23.net> [Tue, 08 Feb 2011 07:13:42 -0800] rev 708
clarify "splittable"; r -> l
(0) -300 -100 -30 -10 -7 +7 +10 +30 +100 tip