.gitignore
|
update to 2.4.2.2
|
2015-04-03 13:25:00 +09:00 |
Agda.spec
|
drop emacs subpackages (#1234569)
|
2015-07-22 15:27:45 +09:00 |
agda-mode-init.el
|
add agda-mode-init.el from ghc-Agda
|
2013-06-14 19:12:49 +09:00 |
sources
|
update to 2.4.2.2
|
2015-04-03 13:25:00 +09:00 |