[Agda] VIM syntax highlighting for Agda

Ulf Norell ulfn at chalmers.se
Wed Feb 24 12:36:00 CET 2010


On Wed, Feb 24, 2010 at 11:47 AM, Anthony <guerrilla_thought at gmx.de> wrote:

>
>  That sounds like a good idea actually. It seems I need authentication to
> do so though. How do I go about obtaining that?
>

The password for editing the wiki is printed just above the password box.
The password protection is just to keep the bots away.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100224/5f1931be/attachment.html


More information about the Agda mailing list