[Agda] Agda-mode problems in 2.3.2

[Nils Anders Danielsson]

On 2013-01-25 18:28, Dominic Mulligan wrote:
> What's going on?

I don't know. Please open a ticket on the bug tracker, and include the
contents of the *agda2* buffer after you have started a fresh instance
of Emacs, opened and loaded an Agda module with a goal, and tried to
use, say, C-c C-SPC.

-- 
/NAD