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