Age | Commit message (Expand) | Author |
---|---|---|
2020-08-03 | cleanup | Florian Dold |
2016-05-12 | Jeff's corrections. See diff. | Jeff Burdges |
2016-05-11 | minor edits | Florian Dold |
2016-05-11 | revise intro; talk about URLs and privacy implications | Florian Dold |
2016-05-08 | 2-page version | Christian Grothoff |