11 commits

Author	SHA1	Message	Date
Eivind Fonn	da2af5c1fd	Extract golden-ratio config to package fns	2016-08-18 21:10:43 +02:00
Eivind Fonn	dbbdca7d5d	Fix agda indentation and README	2016-08-17 20:20:20 +02:00
FreeSalad	5096202b6b	Fix Agda layer for users without 'agda-mode' executable.	2016-08-17 20:13:01 +02:00
Eivind Fonn	92d735483e	Revert "agda: fix executable name" ... This reverts commit 2477a3bf89.	2016-05-30 15:04:49 +02:00
Eivind Fonn	2477a3bf89	agda: fix executable name	2016-05-30 14:59:42 +02:00
sindikat	5fab3f087d	Fixed agda-post-packages -> agda-packages (develop)	2016-05-05 12:56:40 +02:00
Fabien Dubosson	1a45754cad	Visualy align some keybindings	2016-04-05 12:53:44 +02:00
Fabien Dubosson	57e91fe035	Correct more <SPC> to SPC	2016-04-05 12:52:54 +02:00
justbur	e97af03ff7	Call new micro-state a transient state	2016-01-26 01:21:00 -05:00
justbur	f19e54e06e	agda-mode: Translate goal-navigation micro-state	2016-01-26 01:20:59 -05:00
syl20bnr	33ead6fc42	Deprecation of extensions and <pkg>-excluded-packages variables ... As announced in previous releases, see CHANGELOG.next for more info in the Breaking Changes section.	2016-01-17 22:06:04 -05:00

Renamed from layers/+lang/agda/extensions.el (Browse further)