[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