<div dir="ltr">If by stable version you mean version 2.5.1.2 from Hackage (cabal install Agda) then<div>the development version is more current. As Andrés already pointed out 2.5.1.2 does</div><div>not contain anything more than 2.5.1.1 (from June).</div><div><br></div><div>If by stable you mean the stable-2.5 branch from github then todays stable is more current</div><div>than the master branch from October.</div><div><br></div><div>/ Ulf</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Wed, Dec 7, 2016 at 10:09 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">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>
</blockquote></div><br></div>