[Agda] github on Standard library

[Andrés Sicard-Ramírez]

On 23 January 2014 06:31, Sergei Meshveliani <mechvel at botik.ru> wrote:

> 2. There have appeared several duplicated comments of mine to this
> issue, and I do not see how can I remove them, do not find the
> corresponding buttons.
>

The buttons are in the upper-right corner of each comment. In Firefox, I
need to set on the option  "Allow pages to choose their own fonts, instead
of my selections above" for seeing correctly the buttons.


-- 
Andrés
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140123/e33ec48b/attachment.html