Mercurial
Mercurial
>
hg
>
blob
/ shortlog
summary
| shortlog |
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
help
(0)
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sun, 27 Jun 2010 12:28:06 -0700
Scott Morrison
a bunch of minor changes
changeset
|
files
Sat, 26 Jun 2010 17:22:53 -0700
Scott Morrison
Making notation in the product theorem more consistent.
changeset
|
files
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.
changeset
|
files
Fri, 25 Jun 2010 09:48:24 -0700
Kevin Walker
minor
changeset
|
files
Thu, 24 Jun 2010 14:21:51 -0400
Scott Morrison
edits to sphere-modules stuff: some todos added
changeset
|
files
Thu, 24 Jun 2010 14:21:20 -0400
Scott Morrison
starting to fix the 'large coupons' problem in smallblobs
changeset
|
files
Thu, 24 Jun 2010 14:20:38 -0400
Scott Morrison
cross-references for the small blobs lemma
changeset
|
files
Thu, 24 Jun 2010 10:17:19 -0400
Scott Morrison
Automated merge with https://tqft.net/hg/blob/
changeset
|
files
(0)
-300
-100
-30
-10
-8
+8
+10
+30
+100
+300
tip