[Agda] Re: Lit Agda and MMM mode

N. Raghavendra raghu at hri.res.in
Tue Apr 7 15:33:54 CEST 2015


At 2015-04-07T13:59:35+02:00, Nils Anders Danielsson wrote:

> Someone (Jelle Herold?) managed to get this kind of thing working using
> two-mode-mode:

Thanks!  I'll try two-mode-mode.  Meanwhile, I've been experimenting
with manually switching modes:

--8<---------------cut here---------------start------------->8---
(define-key agda2-mode-map "\C-cl" 'latex-mode)
(defvar latex-mode-map)
(define-key latex-mode-map "\C-ca" 'agda2-mode)
--8<---------------cut here---------------end--------------->8---

Cheers,
Raghu.

-- 
N. Raghavendra <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/



More information about the Agda mailing list