Age | Commit message (Expand) | Author |
---|---|---|
2018-09-15 | Missing notion of negligable. Or maybe this hsould be removed? | Jeff Burdges |
2018-09-15 | Style and grammar | Jeff Burdges |
2018-09-03 | de-Talerize, move extras into appendix, cut down to 15 pages | Christian Grothoff |
2018-09-01 | abstract, fix up bib | Florian Dold |
2018-09-01 | fc19 | Florian Dold |