[Agda] patch: documentation updates in the parser

Mon Sep 6 13:31:46 CEST 2010

This patch merely reflects old changes into the comments.

Incidentally, the XII Agda council has now decided that this list may
be used to propose and discuss patches.
So hack away :)

Cheers,
JP.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: patch
Type: application/octet-stream
Size: 48609 bytes
Desc: not available
Url : http://lists.chalmers.se/pipermail/agda/attachments/20100906/3083fdad/patch-0001.obj