Age | Commit message (Expand) | 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 |