Wed, 17 Nov 2010 11:58:35 -0800 |
Kevin Walker |
short version of cat sect intro; longer intro desirable?
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 11:46:39 -0800 |
Kevin Walker |
done with intro for now
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 11:26:00 -0800 |
Kevin Walker |
trying to resolve
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 11:16:39 -0800 |
Kevin Walker |
maybe if I commit now merging will be easier?
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 11:16:27 -0800 |
Scott Morrison |
very paltry start on colimits, out of time for now
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 10:56:17 -0800 |
Scott Morrison |
minor changes to rewritten intro
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 10:23:37 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Mon, 15 Nov 2010 09:49:04 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sun, 14 Nov 2010 19:43:47 -0800 |
Scott Morrison |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sun, 14 Nov 2010 19:43:43 -0800 |
Scott Morrison |
changing title?
|
file |
diff |
annotate
|
Wed, 17 Nov 2010 09:17:07 -0800 |
Kevin Walker |
more intro
|
file |
diff |
annotate
|
Tue, 16 Nov 2010 16:55:55 -0800 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob
|
file |
diff |
annotate
|