Mercurial
Mercurial
>
hg
>
blob
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
-30
-10
-8
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
text/a_inf_blob.tex
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
Thu, 24 Jun 2010 14:21:20 -0400
Scott Morrison
starting to fix the 'large coupons' problem in smallblobs
file
|
diff
|
annotate
Mon, 07 Jun 2010 13:43:38 +0200
Kevin Walker
proof of mapping space thm
file
|
diff
|
annotate
Fri, 04 Jun 2010 17:15:53 -0700
Kevin Walker
breaking long lines
file
|
diff
|
annotate
Thu, 03 Jun 2010 21:59:55 -0700
Scott Morrison
finally understanding what Lurie says, fixed remark about maps to a space
file
|
diff
|
annotate
Thu, 03 Jun 2010 12:33:47 -0700
Scott Morrison
various changes, mostly rewriting intros to sections for exposition
file
|
diff
|
annotate
Wed, 02 Jun 2010 22:28:04 -0700
Kevin Walker
misc minor changes
file
|
diff
|
annotate
less
more
(0)
-30
-10
-8
tip