Mercurial
Mercurial
>
hg
>
blob
/ file revision
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
files
|
changeset
| file |
latest
|
revisions
|
annotate
|
diff
|
comparison
|
raw
|
help
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
talks/200905-GTC.pdf
author
Scott Morrison <scott@tqft.net>
Sat, 26 Jun 2010 16:31:28 -0700
changeset 400
a02a6158f3bd
parent 152
85428d871089
permissions
-rw-r--r--
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.
(binary:application/pdf)