Thu, 24 Jun 2010 14:21:51 -0400 |
Scott Morrison |
edits to sphere-modules stuff: some todos added
|
file |
diff |
annotate
|
Sun, 20 Jun 2010 11:00:57 -0700 |
Scott Morrison |
moving files around for a talk in Stony Brook
|
file |
diff |
annotate
|
Thu, 17 Jun 2010 21:17:42 -0700 |
Scott Morrison |
finished rearranging diagrams directory
|
file |
diff |
annotate
|
Thu, 03 Jun 2010 21:16:36 -0700 |
Scott Morrison |
replacing axioms with lemmas in the module section; still out of sync with the ncat axioms
|
file |
diff |
annotate
|
Wed, 02 Jun 2010 16:51:40 -0700 |
Kevin Walker |
added \cl ([ho]colim) (currently \underrightarrow)
|
file |
diff |
annotate
|
Mon, 31 May 2010 12:44:19 -0700 |
Kevin Walker |
converting sphere axiom to a proposition; still need to make similar changes in module axioms
|
file |
diff |
annotate
|
Fri, 28 May 2010 13:06:58 -0700 |
Scott Morrison |
working on smallblobs.tex. messed up some oof the module stuff, will fix again momentarily
|
file |
diff |
annotate
|
Thu, 27 May 2010 14:04:06 -0700 |
Scott Morrison |
\mapsfrom
|
file |
diff |
annotate
|
Sat, 15 May 2010 10:46:37 -0500 |
Scott Morrison |
minor
|
file |
diff |
annotate
|
Wed, 12 May 2010 18:26:01 -0500 |
Scott Morrison |
switching from amsplain to article
|
file |
diff |
annotate
|
Mon, 29 Mar 2010 16:54:41 -0700 |
Scott Morrison |
removing SVN specific revision commands
|
file |
diff |
annotate
|
Tue, 22 Dec 2009 21:18:07 +0000 |
scott |
...
|
file |
diff |
annotate
|
Thu, 17 Dec 2009 04:37:12 +0000 |
scott |
working on ncats -- no new material, just improving text
|
file |
diff |
annotate
|
Wed, 16 Dec 2009 19:30:13 +0000 |
scott |
minor edits in ncats
|
file |
diff |
annotate
|
Fri, 11 Dec 2009 22:44:25 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 04 Nov 2009 21:51:52 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 03 Nov 2009 19:54:46 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 01 Nov 2009 20:29:41 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 01 Nov 2009 01:56:59 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 21:07:40 +0000 |
scott |
...
|
file |
diff |
annotate
|
Fri, 30 Oct 2009 04:05:33 +0000 |
scott |
...
|
file |
diff |
annotate
|
Tue, 27 Oct 2009 02:11:36 +0000 |
scott |
...
|
file |
diff |
annotate
|
Mon, 26 Oct 2009 17:14:35 +0000 |
scott |
...
|
file |
diff |
annotate
|
Wed, 22 Jul 2009 17:37:45 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Tue, 21 Jul 2009 18:45:18 +0000 |
kevin |
...
|
file |
diff |
annotate
|
Wed, 17 Jun 2009 00:35:51 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 07 Jun 2009 00:51:00 +0000 |
scott |
...
|
file |
diff |
annotate
|
Sun, 24 May 2009 20:30:45 +0000 |
scott |
...
|
file |
diff |
annotate
|