[Agda] stable version

[Ulf Norell]

Yes, that's the stable-2.5 github branch. At the moment there is no
difference
between the master branch (2.6.0) and the stable branch (2.5.2).

/ Ulf

On Wed, Dec 7, 2016 at 10:30 AM, Sergei Meshveliani <mechvel at botik.ru>
wrote:

> On Wed, 2016-12-07 at 10:16 +0100, Ulf Norell wrote:
> > If by stable version you mean version 2.5.1.2 from Hackage (cabal
> > install Agda) then
> > the development version is more current. As Andrés already pointed out
> > 2.5.1.2 does
> > not contain anything more than 2.5.1.1 (from June).
> >
> >
> > If by stable you mean the stable-2.5 branch from github then todays
> > stable is more current
> > than the master branch from October.
> >
>
> I mean the version which is titled as  Stable version
> on
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download
>
> And I think, it is of github
> (please, inform me, if I mistake).
>
> ------
> Sergei
>
>
>
> > On Wed, Dec 7, 2016 at 10:09 AM, Sergei Meshveliani <mechvel at botik.ru>
> > wrote:
> >         Please, what is more fresh:
> >         Development version of October 4 2016
> >         or
> >         Stable version  downloaded today (December 7, 2016)
> >         ?
> >
> >         Thanks,
> >
> >         ------
> >         Sergei
> >
> >
> >         _______________________________________________
> >         Agda mailing list
> >         Agda at lists.chalmers.se
> >         https://lists.chalmers.se/mailman/listinfo/agda
> >
> >
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20161207/b2bcdbd1/attachment.html