[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