Mercurial
Mercurial
>
hg
>
blob
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-100
-30
-10
-8
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
text/ncat.tex
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
Wed, 23 Jun 2010 22:43:26 -0700
Kevin Walker
figures for n+1-cat
file
|
diff
|
annotate
Wed, 23 Jun 2010 18:37:25 -0700
Kevin Walker
finished def of sphere module n+1-cat
file
|
diff
|
annotate
Wed, 23 Jun 2010 09:41:03 -0700
Kevin Walker
define compatible familty of non-degenerate IPs
file
|
diff
|
annotate
less
more
(0)
-100
-30
-10
-8
tip