[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