Scott Morrison <scott@tqft.net> [Sat, 26 Jun 2010 16:31:28 -0700] rev 400
Breaking up 'properties' in the intro into smaller subsections, converting many properties back to theorems, and numbering according to where they occur in the text. Not completely done, e.g. the action map which needs statements made consistent.
Kevin Walker <kevin@canyon23.net> [Fri, 25 Jun 2010 09:48:24 -0700] rev 399
minor
Scott Morrison <scott@tqft.net> [Thu, 24 Jun 2010 14:21:51 -0400] rev 398
edits to sphere-modules stuff: some todos added
Scott Morrison <scott@tqft.net> [Thu, 24 Jun 2010 14:21:20 -0400] rev 397
starting to fix the 'large coupons' problem in smallblobs
Scott Morrison <scott@tqft.net> [Thu, 24 Jun 2010 14:20:38 -0400] rev 396
cross-references for the small blobs lemma
Scott Morrison <scott@tqft.net> [Thu, 24 Jun 2010 10:17:19 -0400] rev 395
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Thu, 24 Jun 2010 10:16:36 -0400] rev 394
final version of talk
Kevin Walker <kevin@canyon23.net> [Wed, 23 Jun 2010 22:43:26 -0700] rev 393
figures for n+1-cat
Kevin Walker <kevin@canyon23.net> [Wed, 23 Jun 2010 18:37:25 -0700] rev 392
finished def of sphere module n+1-cat
Kevin Walker <kevin@canyon23.net> [Wed, 23 Jun 2010 09:41:10 -0700] rev 391
Automated merge with https://tqft.net/hg/blob/
Kevin Walker <kevin@canyon23.net> [Wed, 23 Jun 2010 09:41:03 -0700] rev 390
define compatible familty of non-degenerate IPs
Scott Morrison <scott@tqft.net> [Wed, 23 Jun 2010 10:54:42 -0400] rev 389
Automated merge with https://tqft.net/hg/blob/
Scott Morrison <scott@tqft.net> [Wed, 23 Jun 2010 10:54:29 -0400] rev 388
tweaks to talk
Kevin Walker <kevin@canyon23.net> [Tue, 22 Jun 2010 22:19:16 -0700] rev 387
sphere modules (in progress)