<div dir="ltr">Yes, that's the stable-2.5 github branch. At the moment there is no difference<br><div>between the master branch (2.6.0) and the stable branch (2.5.2).</div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 7, 2016 at 10:30 AM, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Wed, 2016-12-07 at 10:16 +0100, Ulf Norell wrote:<br>
> If by stable version you mean version 2.5.1.2 from Hackage (cabal<br>
> install Agda) then<br>
> the development version is more current. As Andrés already pointed out<br>
> 2.5.1.2 does<br>
> not contain anything more than 2.5.1.1 (from June).<br>
><br>
><br>
> If by stable you mean the stable-2.5 branch from github then todays<br>
> stable is more current<br>
> than the master branch from October.<br>
><br>
<br>
</span>I mean the version which is titled as Stable version<br>
on<br>
<a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.Download" rel="noreferrer" target="_blank">http://wiki.portal.chalmers.<wbr>se/agda/pmwiki.php?n=Main.<wbr>Download</a><br>
<br>
And I think, it is of github<br>
(please, inform me, if I mistake).<br>
<br>
------<br>
Sergei<br>
<div class="HOEnZb"><div class="h5"><br>
<br>
<br>
> On Wed, Dec 7, 2016 at 10:09 AM, Sergei Meshveliani <<a href="mailto:mechvel@botik.ru">mechvel@botik.ru</a>><br>
> wrote:<br>
> Please, what is more fresh:<br>
> Development version of October 4 2016<br>
> or<br>
> Stable version downloaded today (December 7, 2016)<br>
> ?<br>
><br>
> Thanks,<br>
><br>
> ------<br>
> Sergei<br>
><br>
><br>
> ______________________________<wbr>_________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
><br>
><br>
<br>
<br>
</div></div></blockquote></div><br></div>