Sun, 04 Jul 2010 11:56:23 -0600 |
Kevin Walker |
starting to revise ncat section
|
file |
diff |
annotate
|
Sat, 03 Jul 2010 13:19:15 -0600 |
Kevin Walker |
starting to work on tqdftreview.tex
|
file |
diff |
annotate
|
Sun, 27 Jun 2010 13:11:00 -0700 |
Kevin Walker |
Automated merge with https://tqft.net/hg/blob/
|
file |
diff |
annotate
|
Sun, 27 Jun 2010 13:10:53 -0700 |
Kevin Walker |
minor -- only committing so that I can fetch
|
file |
diff |
annotate
|
Sun, 27 Jun 2010 12:28:06 -0700 |
Scott Morrison |
a bunch of minor changes
|
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
|
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
|