| Age | Commit message (Expand) | Author |
|---|---|---|
| 2016-02-29 | Change to ACM style and inlining of the proofsHEADmaster | Thibaut Horel |
| 2016-02-29 | Mode change | Thibaut Horel |
| 2013-12-12 | Reimport things from the appendix to the main part for the camera-ready version | Thibaut Horel |
| 2013-09-22 | concl | Stratis Ioannidis |
| 2013-09-22 | Comment acks out and reduce conclusion | Thibaut Horel |
| 2013-09-22 | stratis edits | Stratis Ioannidis |
| 2013-07-08 | small | Stratis Ioannidis |
| 2013-07-08 | Fixing typos in the conclusion | Thibaut Horel |
| 2013-07-07 | concl | Stratis Ioannidis |
| 2013-07-07 | conclusions | Stratis Ioannidis |
| 2013-07-07 | app:properties | Stratis Ioannidis |
| 2012-10-28 | file splitting | Stratis Ioannidis |
