Mon, 19 Jul 2010 12:27:19 -0700 |
Scott Morrison |
filtration -> simplex, and another diagram
|
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 17:18:02 -0600 |
Scott Morrison |
tikzing two diagrams
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:08:12 -0600 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:40 -0600 |
Kevin Walker |
mostly (entirely?) ncat revisions
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:20 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 14 Jul 2010 11:06:11 -0600 |
Scott Morrison |
revisions to \S 1-5
|
file |
diff |
annotate
|
Tue, 13 Jul 2010 12:47:49 -0600 |
Kevin Walker |
ncat - minor
|
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
|
Sun, 11 Jul 2010 14:31:56 -0600 |
Kevin Walker |
ncat misc
|
file |
diff |
annotate
|
Sat, 10 Jul 2010 12:30:09 -0600 |
Kevin Walker |
ncat.tex mostly module stuff
|
file |
diff |
annotate
|
Thu, 08 Jul 2010 08:36:34 -0600 |
Kevin Walker |
ncat: module def
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 11:07:48 -0600 |
Kevin Walker |
more ncat (colimits)
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:30 -0600 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 10:17:21 -0600 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 07 Jul 2010 08:47:50 -0600 |
Kevin Walker |
a few more ncat revisions
|
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
|
Sun, 04 Jul 2010 13:15:03 -0600 |
Kevin Walker |
more ncat section
|
file |
diff |
annotate
|
Sun, 04 Jul 2010 11:56:23 -0600 |
Kevin Walker |
starting to revise ncat section
|
file |
diff |
annotate
|
Sat, 03 Jul 2010 13:19:15 -0600 |
Kevin Walker |
starting to work on tqdftreview.tex
|
file |
diff |
annotate
|
Wed, 30 Jun 2010 08:55:46 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
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
|
Fri, 25 Jun 2010 09:48:24 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
file |
diff |
annotate
|