Mercurial
Mercurial
>
hg
>
blob
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-30
-10
-7
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
blob%20to-do
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
less
more
(0)
-30
-10
-7
tip