[Agda] email list reference

G. Allais guillaume.allais at ens-lyon.org
Mon Aug 14 14:54:01 CEST 2017


Good point. I have added a link to "Community" to the side bar as
you suggested.

Cheers,


On 13/08/17 13:27, Sergei Meshveliani wrote:
> I see now, it is somewhat down the page. Sorry.
> 
> ------
> Sergei
> 
> 
> On Sun, 2017-08-13 at 12:35 +0200, G. Allais wrote:
>> 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
>>>
>>
>> _______________________________________________
>> 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/20170814/7e42d559/attachment.sig>


More information about the Agda mailing list