[Agda] email list reference
G. Allais
guillaume.allais at ens-lyon.org
Sun Aug 13 12:35:44 CEST 2017
There is a link to the Community page on the main one under the
"Getting Started" section.
On 12/08/17 09:47, Sergei Meshveliani wrote:
> On Fri, 2017-08-11 at 21:59 +0300, Apostolis Xekoukoulotakis wrote:
>> This link though works :
>> https://lists.chalmers.se/pipermail/agda/2017/thread.html
>>
>>
>> So only those pages are inaccessible.
>
>
> You and Guillaume give certain special web addresses pointing to email
> archive.
> Thank you, I have bookmarked it.
>
> But people who want to know about Agda do not know of these addresses.
> They type to browser "Agda homepage", and see the main page,
> and no pointer to Community or to email list or archive.
> Then, they type to browser "Agda mailing list", and the browser finds
> wrong things (earlier this latter worked, but now it does not).
>
> Regards,
>
> ------
> Sergei
>
>
>>
>> On Fri, Aug 11, 2017 at 7:38 PM, Sergei Meshveliani <mechvel at botik.ru>
>> wrote:
>> On Fri, 2017-08-11 at 13:56 +0200, G. Allais wrote:
>> > Hi Sergei,
>> >
>> > I have added two links with working archives in Community
>> and
>> > removed Gmane (it shut down a little while ago).
>> >
>> >
>> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Community
>> >
>> > However there seems to be a problem with mailman at
>> Chalmers, both
>> > https://lists.chalmers.se/mailman/listinfo/agda
>> > and https://lists.chalmers.se/mailman/listinfo/agda-dev
>> > are down
>> >
>>
>> At the main page
>> http://wiki.portal.chalmers.se/agda/pmwiki.php
>> I see now the buttons
>> Main
>> Download
>> ...
>> Report a bug
>>
>>
>> Why not add there a reference to Community, email archive,
>> etc.?
>>
>> Thanks,
>>
>> ------
>> Sergei
>>
>> > > I am looking at
>> http://wiki.portal.chalmers.se/agda/pmwiki.php
>> > >
>> > > and do not find there a reference to the Agda e-mail list
>> archive.
>> > >
>> > > Where, please, to find it?
>> > >
>> > > Thanks,
>> > >
>> > > ------
>> > > Sergei
>> > >
>> > > _______________________________________________
>> > > Agda mailing list
>> > > Agda at lists.chalmers.se
>> > > https://lists.chalmers.se/mailman/listinfo/agda
>> > >
>> >
>> > _______________________________________________
>> > Agda mailing list
>> > Agda at lists.chalmers.se
>> > https://lists.chalmers.se/mailman/listinfo/agda
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>>
>>
>
>
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: OpenPGP digital signature
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170813/8e2e19fe/attachment.sig>
More information about the Agda
mailing list