[Agda] Orange highlights in EMACS Agda mode

[Roly Perera]

Light salmon, right.  Thanks.  I should have searched for "highlight"
on the Wiki.

2009/11/27 Nils Anders Danielsson <nad at cs.nott.ac.uk>:
> On 2009-11-27 11:46, Roly Perera wrote:
>>
>> I've been using Agda for a few weeks but have only recently
>> encountered the orange highlighting in the EMACS mode.
>
> Orange? Unless you are not using the default colours I think you mean
> yellow or "light salmon". See
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.QuickGuideToEditingTypeCheckingAndCompilingAgdaCode.
>
> --
> /NAD
>
> 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.
>
>