Sat, 26 Jun 2010 17:22:53 -0700 |
Scott Morrison |
Making notation in the product theorem more consistent.
|
file |
diff |
annotate
|
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.
|
file |
diff |
annotate
|
Thu, 24 Jun 2010 14:21:20 -0400 |
Scott Morrison |
starting to fix the 'large coupons' problem in smallblobs
|
file |
diff |
annotate
|
Mon, 07 Jun 2010 13:43:38 +0200 |
Kevin Walker |
proof of mapping space thm
|
file |
diff |
annotate
|
Fri, 04 Jun 2010 17:15:53 -0700 |
Kevin Walker |
breaking long lines
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 21:59:55 -0700 |
Scott Morrison |
finally understanding what Lurie says, fixed remark about maps to a space
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 12:33:47 -0700 |
Scott Morrison |
various changes, mostly rewriting intros to sections for exposition
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 22:28:04 -0700 |
Kevin Walker |
misc minor changes
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 22:09:52 -0700 |
Kevin Walker |
rewrite proof from gluing thm
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 16:51:40 -0700 |
Kevin Walker |
added \cl ([ho]colim) (currently \underrightarrow)
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 12:52:08 -0700 |
Kevin Walker |
more futzing with product thm
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 08:43:12 -0700 |
Kevin Walker |
Finished dealing with main issues in product thm proof; small issues still remain
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 20:44:54 -0700 |
Scott Morrison |
finished smallblobs, except for the issue about coupons, and moved it all to an appendix
|
file |
diff |
annotate
|
Tue, 01 Jun 2010 11:08:17 -0700 |
Kevin Walker |
start on general fiber bundle extension of product thm
|
file |
diff |
annotate
|
Mon, 31 May 2010 17:27:17 -0700 |
Kevin Walker |
misc. minor stuff
|
file |
diff |
annotate
|