[Agda] email list reference

Sergei Meshveliani mechvel at botik.ru
Sun Aug 13 13:27:53 CEST 2017


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




More information about the Agda mailing list