[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