Thu, 23 Sep 2010 12:34:16 -0700 |
Kevin Walker |
resolving two more nns
|
file |
diff |
annotate
|
Wed, 22 Sep 2010 20:42:47 -0700 |
Kevin Walker |
making "no functors" excuses; other minor stuff
|
file |
diff |
annotate
|
Tue, 21 Sep 2010 14:44:17 -0700 |
Scott Morrison |
deleting nn's
|
file |
diff |
annotate
|
Mon, 20 Sep 2010 06:10:49 -0700 |
Kevin Walker |
breaking lines, and one other minor comment
|
file |
diff |
annotate
|
Sun, 19 Sep 2010 22:29:29 -0500 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 01 Sep 2010 13:34:21 -0700 |
Kevin Walker |
futzing with figures (\begin{center|equation} to \centering)
|
file |
diff |
annotate
|
Tue, 31 Aug 2010 21:09:31 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Mon, 30 Aug 2010 08:54:01 -0700 |
Kevin Walker |
revisions of evmap; misc
|
file |
diff |
annotate
|
Sat, 28 Aug 2010 17:34:20 -0700 |
Kevin Walker |
starting to finish fiber bundle stuff
|
file |
diff |
annotate
|
Fri, 27 Aug 2010 15:36:21 -0700 |
Kevin Walker |
finished 1st draft of new evmap section; commented out older versions
|
file |
diff |
annotate
|
Wed, 18 Aug 2010 21:05:50 -0700 |
Kevin Walker |
fixing some (but not all!?) of the hyperref warnings; start on revision of evmap
|
file |
diff |
annotate
|
Thu, 22 Jul 2010 16:16:58 -0600 |
Kevin Walker |
dual module (non-)definition; other minor stuff
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 11:07:47 -0600 |
Kevin Walker |
done with a-inf section for now
|
file |
diff |
annotate
|
Sun, 18 Jul 2010 08:07:50 -0600 |
Kevin Walker |
more a-inf section
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:46 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sat, 17 Jul 2010 20:57:35 -0600 |
Kevin Walker |
starting on a_inf_blob.tex; just realized I forgot to fetch scott's recent changes
|
file |
diff |
annotate
|
Fri, 16 Jul 2010 13:23:07 -0600 |
Scott Morrison |
spelling
|
file |
diff |
annotate
|
Sun, 11 Jul 2010 14:38:48 -0600 |
Kevin Walker |
search & replace: s/((sub?)section|appendix)\s+\\ref/\S\ref/
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:21 -0600 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Mon, 05 Jul 2010 07:47:23 -0600 |
Kevin Walker |
revisions of n-cat examples
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 23:32:48 -0600 |
Kevin Walker |
making quotation marks consistently "American style"
|
file |
diff |
annotate
|
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
|
Sun, 30 May 2010 08:49:27 -0700 |
Kevin Walker |
outline two approaches for non-trivial bundles
|
file |
diff |
annotate
|
Sat, 29 May 2010 23:13:20 -0700 |
Scott Morrison |
minor changes in a few places
|
file |
diff |
annotate
|
Fri, 28 May 2010 15:20:11 -0700 |
Scott Morrison |
stuff
|
file |
diff |
annotate
|
Thu, 27 May 2010 20:09:47 -0700 |
Scott Morrison |
mostly minor changes, reading modules section, stopping for dinner\!
|
file |
diff |
annotate
|
Mon, 29 Mar 2010 05:41:28 +0000 |
scott |
minor tweaks on small blobs
|
file |
diff |
annotate
|
Sat, 27 Mar 2010 03:07:45 +0000 |
scott |
committing changes from loon lake - mostly small blobs
|
file |
diff |
annotate
|
Tue, 02 Mar 2010 04:26:36 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 24 Feb 2010 06:28:03 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 24 Feb 2010 01:25:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 23 Feb 2010 05:49:12 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 23:16:03 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 08 Dec 2009 01:08:53 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 04:05:33 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 21:59:38 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 28 Oct 2009 02:44:29 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 05:39:29 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 23 Oct 2009 04:12:41 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Thu, 15 Oct 2009 23:29:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 13 Oct 2009 21:32:06 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 15 Sep 2009 02:55:39 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 26 Aug 2009 02:35:24 +0000 |
kevin |
preparing for semi-public version soon
|
file |
diff |
annotate
|
Wed, 26 Aug 2009 01:21:59 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Fri, 21 Aug 2009 23:17:10 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Mon, 17 Aug 2009 22:51:08 +0000 |
kevin |
...
|
file |
diff |
annotate
|