<div dir="ltr">Yes, that&#39;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">&lt;<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>&gt;</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>
&gt; If by stable version you mean version 2.5.1.2 from Hackage (cabal<br>
&gt; install Agda) then<br>
&gt; the development version is more current. As Andrés already pointed out<br>
&gt; 2.5.1.2 does<br>
&gt; not contain anything more than 2.5.1.1 (from June).<br>
&gt;<br>
&gt;<br>
&gt; If by stable you mean the stable-2.5 branch from github then todays<br>
&gt; stable is more current<br>
&gt; than the master branch from October.<br>
&gt;<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>
&gt; On Wed, Dec 7, 2016 at 10:09 AM, Sergei Meshveliani &lt;<a href="mailto:mechvel@botik.ru">mechvel@botik.ru</a>&gt;<br>
&gt; wrote:<br>
&gt;         Please, what is more fresh:<br>
&gt;         Development version of October 4 2016<br>
&gt;         or<br>
&gt;         Stable version  downloaded today (December 7, 2016)<br>
&gt;         ?<br>
&gt;<br>
&gt;         Thanks,<br>
&gt;<br>
&gt;         ------<br>
&gt;         Sergei<br>
&gt;<br>
&gt;<br>
&gt;         ______________________________<wbr>_________________<br>
&gt;         Agda mailing list<br>
&gt;         <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
&gt;         <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/<wbr>mailman/listinfo/agda</a><br>
&gt;<br>
&gt;<br>
<br>
<br>
</div></div></blockquote></div><br></div>