[Agda] References to the "old" ways of installing the agda stdlib

[Ulf Norell]

For now I just updated the gh-pages manually.

/ Ulf

On Mon, Jun 13, 2016 at 7:31 AM, Ulf Norell <ulf.norell at gmail.com> wrote:

> The Travis instance uses a prebuilt Agda downloaded from a Dropbox
> somewhere. I don't know how to update that. Some relevant issues:
>
> https://github.com/agda/agda-stdlib/issues/45
> https://github.com/agda/agda-stdlib/issues/78
> https://github.com/agda/agda-stdlib/issues/80
>
> / Ulf
>
> On Thu, Jun 9, 2016 at 7:09 PM, Natalie Perna <pernanm at mcmaster.ca> wrote:
>
>> > This page seems to be out of date (and I don't know how it is
>> > generated). The latest README contains the following text:
>> >
>> >   -- The library comes with a .agda-lib file, for use with the library
>> >   -- management system.
>>
>> The github.io site is published from the gh-pages branch, which was
>> populated by Travis CI:
>> https://github.com/agda/agda-stdlib/blob/master/.travis.yml
>> It looks like it stopped automatically updating almost a year ago
>> though: https://github.com/agda/agda-stdlib/tree/gh-pages
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160613/9c289330/attachment.html