[Agda] problem with C-c | (show context) in 2.1.3

[Thorsten Altenkirch]

Thank you Ulf, indeed I was still using the old mode.

T.

>
> Have you installed the emacs-mode properly? Displaying the context  
> should be C-c C-e, so it might be that you are just using an old  
> emacs-mode. The el-files are in src/full/Interaction/emacs-mode and  
> need to be copied to or linked from somewhere emacs can find them.  
> The details are in the readme file I think.
>
> / Ulf
>


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.