| Mon, 12 Dec 2011 15:01:37 -0800 |
Kevin Walker |
remove lemma 3.2.3 (support-shrink lemma); it was only used once
|
file |
diff |
annotate
|
| Sun, 11 Dec 2011 21:41:45 -0800 |
Kevin Walker |
minor -- mostly done with Section 6
|
file |
diff |
annotate
|
| Thu, 08 Dec 2011 23:13:48 -0800 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
| Thu, 08 Dec 2011 15:57:34 -0800 |
Kevin Walker |
minor - Section 3.2
|
file |
diff |
annotate
|
| Thu, 08 Dec 2011 12:06:43 -0800 |
Kevin Walker |
minor edits in section 3.1
|
file |
diff |
annotate
|
| Fri, 02 Dec 2011 21:42:38 -0800 |
Kevin Walker |
tweaked some colors; removed hand-drawn originals
|
file |
diff |
annotate
|
| Wed, 30 Nov 2011 16:29:23 -0800 |
Scott Morrison |
some figure todos, todone
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 17:04:08 -0800 |
Scott Morrison |
figures todo
|
file |
diff |
annotate
|
| Sun, 23 Oct 2011 16:04:10 -0600 |
Kevin Walker |
make claims about framed balls and non-pivotal n-cats weaker
|
file |
diff |
annotate
|
| Sun, 23 Oct 2011 15:03:53 -0600 |
Kevin Walker |
finished updating module axioms (but have not done a proof-read)
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 18:07:32 -0600 |
Kevin Walker |
finished with plitting axiom stuff (except that now the module definition needs to be updated)
|
file |
diff |
annotate
|
| Sat, 22 Oct 2011 13:26:53 -0600 |
Kevin Walker |
add remarks about the missing TOP case; searched for all occurrances of "topological" and "continuous" to make sure all other mentions of TOP have been expunged; other minor changes
|
file |
diff |
annotate
|
| Thu, 13 Oct 2011 11:18:52 -0700 |
Kevin Walker |
minor
|
file |
diff |
annotate
|
| Thu, 06 Oct 2011 12:11:47 -0700 |
Scott Morrison |
more referee comments, mostly adding cross-references to examples, lemma-izing the fields -> ncats construction
|
file |
diff |
annotate
|
| Mon, 03 Oct 2011 16:40:16 -0700 |
Kevin Walker |
Initial version of the new splitting axiom.
|
file |
diff |
annotate
|