| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2013-07-03 | approx | Stratis Ioannidis | |
| 2013-07-03 | approx | Stratis Ioannidis | |
| 2013-07-02 | Rewrite the hand-wavy induction | Thibaut Horel | |
| 2013-06-28 | Fixing notations in the proofs | Thibaut Horel | |
| 2013-06-28 | Moving the proofs to the appendix, improving the flow | Thibaut Horel | |
| 2013-06-24 | Unifying pass over the whole paper | Thibaut Horel | |
| 2013-06-10 | Moving our two main results to a section preceding the introduction of our ↵ | Thibaut Horel | |
| mechanism | |||
| 2013-04-16 | Fix some typos and inconsistent notations | Thibaut Horel | |
| 2012-11-05 | our mechanism for edpSTOC | Stratis Ioannidis | |
| 2012-11-05 | appendix and biblio fonts | Stratis Ioannidis | |
| 2012-11-05 | appendix | Stratis Ioannidis | |
