| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-11-02 | Discussion about the generalized theorem | Thibaut Horel |
| 2012-10-31 | result | Stratis Ioannidis |
| 2012-10-31 | changes | Stratis Ioannidis |
| 2012-10-31 | stuff | Stratis Ioannidis |
| 2012-10-28 | file splitting | Stratis Ioannidis |
