[Agda] help with math symbols

Nils Anders Danielsson nad at chalmers.se
Tue Jul 31 22:09:27 CEST 2012


On 2012-07-30 11:43, Serge D. Mechveliani wrote:
> So, I tried in  emacs,  in the menu dialogue:
>
>    >  Alt-x
>    e> M-x
>    >  customize group
>    e> Customize group (default emacs):
>    >  agda-input
>    e> Customize group (default emacs): agda-input  no match
>
> -- it somehow fails to customize.

Try this again once you've managed to load the Agda mode.

-- 
/NAD


More information about the Agda mailing list