Hi,<br><br><div class="gmail_quote">2011/11/3 Bas van Dijk <span dir="ltr">&lt;<a href="mailto:v.dijk.bas@gmail.com" target="_blank">v.dijk.bas@gmail.com</a>&gt;</span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


2011/11/3 José Pedro Magalhães &lt;<a href="mailto:jpm@cs.uu.nl" target="_blank">jpm@cs.uu.nl</a>&gt;:<br>
<div>&gt; &quot;-ddump-deriv&quot; will print (most of) it.<br>
<br>
</div>But it doesn&#39;t print the most useful piece of information: the<br>
definition of Rep.<br></blockquote><div><br>Yes... I am aware of this.<br> </div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex">
<br>
It would be great if this could be added.<br></blockquote><div><br>I&#39;ll do it.<br><br><br>Cheers,<br>Pedro<br><br></div></div><br>