<div dir="auto"><div><br><div class="gmail_extra"><br><div class="gmail_quote">Il 16 gen 2017 16:40, "Nicola" <<a href="mailto:nvitacolonna@gmail.com">nvitacolonna@gmail.com</a>> ha scritto:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="quoted-text">On 15/12/2016 15:23, Nicola wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
On 15/12/2016 12:48, luigi scarso wrote:<br>
</blockquote>
<br>
</div><div class="quoted-text"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
MetaPost rev. 2107 has a new function mp_finished that returns<br>
mp->finished as boolean,<br>
</blockquote></blockquote>
<br></div>
Luigi, is rev. 2107 publicly available?<br>
<br>
Nicola<br>
<br>
<br>
--<br>
<a href="http://tug.org/metapost/" rel="noreferrer" target="_blank">http://tug.org/metapost/</a><br>
</blockquote></div><div class="gmail_extra" dir="auto"><br></div>Latest revision is 2114 from trunk, but you have to compile from source.</div></div><div class="gmail_extra" dir="auto"><br></div><div class="gmail_extra" dir="auto">--</div><div class="gmail_extra" dir="auto">luigi</div></div>