[Agda] Emacs with dark background and Agdan

[Nils Anders Danielsson]

On 2012-10-23 13:03, Francesco Mazzoli wrote:
> This makes things much better with a dark background, and should be more
> portable across different themes (apart from those two colours).

I think some Agda users want to have support for colour themes
(http://www.nongnu.org/color-theme/) in Agda. This is not high on my
priority list, but patches are welcome.

-- 
/NAD