Mon, 12 Dec 2011 15:01:37 -0800 remove lemma 3.2.3 (support-shrink lemma); it was only used once
Kevin Walker <kevin@canyon23.net> [Mon, 12 Dec 2011 15:01:37 -0800] rev 961
remove lemma 3.2.3 (support-shrink lemma); it was only used once
Mon, 12 Dec 2011 10:37:50 -0800 last case of inserting product regions
Scott Morrison <scott@tqft.net> [Mon, 12 Dec 2011 10:37:50 -0800] rev 960
last case of inserting product regions
Sun, 11 Dec 2011 23:18:45 -0800 Automated merge with https://tqft.net/hg/blob
Scott Morrison <scott@tqft.net> [Sun, 11 Dec 2011 23:18:45 -0800] rev 959
Automated merge with https://tqft.net/hg/blob
Sun, 11 Dec 2011 23:18:36 -0800 figures
Scott Morrison <scott@tqft.net> [Sun, 11 Dec 2011 23:18:36 -0800] rev 958
figures
Sun, 11 Dec 2011 23:03:37 -0800 Automated merge with https://tqft.net/hg/blob
Scott Morrison <scott@tqft.net> [Sun, 11 Dec 2011 23:03:37 -0800] rev 957
Automated merge with https://tqft.net/hg/blob
Sun, 11 Dec 2011 23:03:27 -0800 more work on figures, in the sandbox
Scott Morrison <scott@tqft.net> [Sun, 11 Dec 2011 23:03:27 -0800] rev 956
more work on figures, in the sandbox
Sun, 11 Dec 2011 19:07:10 -0800 some more figures
Scott Morrison <scott@tqft.net> [Sun, 11 Dec 2011 19:07:10 -0800] rev 955
some more figures
Sun, 11 Dec 2011 23:16:19 -0800 minor -- done with final read-through
Kevin Walker <kevin@canyon23.net> [Sun, 11 Dec 2011 23:16:19 -0800] rev 954
minor -- done with final read-through
Sun, 11 Dec 2011 22:26:09 -0800 minor -- Section 7
Kevin Walker <kevin@canyon23.net> [Sun, 11 Dec 2011 22:26:09 -0800] rev 953
minor -- Section 7
Sun, 11 Dec 2011 21:41:45 -0800 minor -- mostly done with Section 6
Kevin Walker <kevin@canyon23.net> [Sun, 11 Dec 2011 21:41:45 -0800] rev 952
minor -- mostly done with Section 6
(0) -300 -100 -10 +10 tip