Pascal Wittmann
|
8d924455c1
|
idris-mode: update from 0.9.15 to 0.9.18
|
2015-05-31 16:30:24 +02:00 |
|
Mathijs Kwik
|
8913f14a5f
|
emacs-idris-mode: upgrade to 0.9.15
|
2014-11-05 18:28:59 +01:00 |
|
Mathijs Kwik
|
3be7d4b478
|
idris-mode: upgrade to 0.9.14
|
2014-08-25 13:56:52 +02:00 |
|
Mateusz Kowalczyk
|
7a45996233
|
Turn some license strings into lib.licenses values
|
2014-07-28 11:31:14 +02:00 |
|
Mathijs Kwik
|
ff995adb0d
|
emacs-idris-mode: upgrade to 0.9.13.1
|
2014-06-16 22:43:51 +02:00 |
|
Mathijs Kwik
|
593c633aa8
|
emacs-idris-mode: upgrade to support idris 0.9.12
|
2014-04-08 08:38:43 +02:00 |
|
Mathijs Kwik
|
d2dd22651d
|
idris-mode: upgrade to current version
|
2014-03-02 08:41:45 +01:00 |
|
Pascal Wittmann
|
e8b0001268
|
idris-mode: fixed link to homepage (merge #1671)
|
2014-02-04 18:56:24 +01:00 |
|
Mathijs Kwik
|
8fad5a72ec
|
add emacs/idris-mode
|
2014-01-07 07:16:47 +01:00 |
|