Sun, 27 Jun 2010 19:04:53 -0700 |
Scott Morrison |
minor
|
changeset |
files
|
Sun, 27 Jun 2010 13:41:43 -0700 |
Scott Morrison |
fixing problem in build script
|
changeset |
files
|
Sun, 27 Jun 2010 12:53:11 -0700 |
Scott Morrison |
looking at the Hochschild section
|
changeset |
files
|
Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
changeset |
files
|
Sat, 26 Jun 2010 17:22:53 -0700 |
Scott Morrison |
Making notation in the product theorem more consistent.
|
changeset |
files
|
Sat, 26 Jun 2010 16:31:28 -0700 |
Scott Morrison |
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.
|
changeset |
files
|
Fri, 25 Jun 2010 09:48:24 -0700 |
Kevin Walker |
minor
|
changeset |
files
|
Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
changeset |
files
|
Thu, 24 Jun 2010 14:21:20 -0400 |
Scott Morrison |
starting to fix the 'large coupons' problem in smallblobs
|
changeset |
files
|
Thu, 24 Jun 2010 14:20:38 -0400 |
Scott Morrison |
cross-references for the small blobs lemma
|
changeset |
files
|
Thu, 24 Jun 2010 10:17:19 -0400 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Thu, 24 Jun 2010 10:16:36 -0400 |
Scott Morrison |
final version of talk
|
changeset |
files
|
Wed, 23 Jun 2010 22:43:26 -0700 |
Kevin Walker |
figures for n+1-cat
|
changeset |
files
|
Wed, 23 Jun 2010 18:37:25 -0700 |
Kevin Walker |
finished def of sphere module n+1-cat
|
changeset |
files
|
Wed, 23 Jun 2010 09:41:10 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
changeset |
files
|
Wed, 23 Jun 2010 09:41:03 -0700 |
Kevin Walker |
define compatible familty of non-degenerate IPs
|
changeset |
files
|