Age | Commit message (Collapse) | Author | |
---|---|---|---|
2015-05-09 | slight improvements | Christian Grothoff | |
2015-05-09 | slight clarifications | Christian Grothoff | |
2015-04-22 | define G | Christian Grothoff | |
2015-04-22 | fixing #3779: typos in paper | Christian Grothoff | |
2015-01-08 | -initial import for mint | Christian Grothoff | |