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, 23 Oct 2011 13:52:15 -0600
Kevin Walker
more module axiom stuff
file
|
diff
|
annotate
Sun, 23 Oct 2011 09:55:16 -0600
Kevin Walker
a little more revision of module axioms
file
|
diff
|
annotate
Sat, 22 Oct 2011 22:31:00 -0600
Kevin Walker
begin to incorporate recent n-cat axiom changes into the module axioms
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
Sat, 08 Oct 2011 17:35:05 -0700
Kevin Walker
marked balls start at k=1, not k=0
file
|
diff
|
annotate
Thu, 06 Oct 2011 12:55:57 -0700
Scott Morrison
Automated merge with https://tqft.net/hg/blob
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
less
more
(0)
-100
-30
-10
-8
tip