Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-05-31 | idris-mode: update from 0.9.15 to 0.9.18 | Pascal Wittmann | 1 | -2/+2 |
2014-11-05 | emacs-idris-mode: upgrade to 0.9.15 | Mathijs Kwik | 1 | -2/+2 |
2014-08-25 | idris-mode: upgrade to 0.9.14 | Mathijs Kwik | 1 | -2/+2 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
2014-06-16 | emacs-idris-mode: upgrade to 0.9.13.1 | Mathijs Kwik | 1 | -6/+7 |
2014-04-08 | emacs-idris-mode: upgrade to support idris 0.9.12 | Mathijs Kwik | 1 | -3/+3 |
2014-03-02 | idris-mode: upgrade to current version | Mathijs Kwik | 1 | -3/+3 |
2014-02-04 | idris-mode: fixed link to homepage (merge #1671) | Pascal Wittmann | 1 | -1/+1 |
2014-01-07 | add emacs/idris-mode | Mathijs Kwik | 1 | -0/+30 |