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/intro.tex
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
Fri, 04 Jun 2010 11:42:07 -0700
Kevin Walker
breaking long lines (probably a waste of time, but I couldn't resist)
file
|
diff
|
annotate
Thu, 03 Jun 2010 23:08:47 -0700
Scott Morrison
updating notation in intro, also deciding that not everything is a 'property'
file
|
diff
|
annotate
Thu, 03 Jun 2010 17:19:37 -0700
Scott Morrison
fixing some inconsistencies in where the easy basic properties are treated
file
|
diff
|
annotate
Tue, 01 Jun 2010 23:07:42 -0700
Scott Morrison
editting all over the place
file
|
diff
|
annotate
Tue, 01 Jun 2010 11:34:03 -0700
Scott Morrison
various small changes
file
|
diff
|
annotate
Mon, 31 May 2010 23:42:37 -0700
Scott Morrison
minor
file
|
diff
|
annotate
Sun, 30 May 2010 11:35:14 -0700
Scott Morrison
diagram for introduction
file
|
diff
|
annotate
less
more
(0)
-30
-10
-8
tip