Commit graph

3 commits

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