9 commits

Author	SHA1	Message	Date
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