<div dir="ltr"><div>Stephan (and Ann before that),</div><div><br></div><div>If I come back to this task, I guess I will use the LKB version or come up with my own solution if the Redwoods script hasn&#39;t been updated.<br><div class="gmail_extra"><br></div><div class="gmail_extra">Thanks for the responses!<br></div><div class="gmail_extra"><br></div><div class="gmail_extra">Best,</div><div class="gmail_extra">Josh</div><div class="gmail_extra"><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Jan 11, 2015 at 5:36 PM, Stephan Oepen <span dir="ltr">&lt;<a href="mailto:oe@ifi.uio.no" target="_blank">oe@ifi.uio.no</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">hi joshua,<br>
<span><br>
&gt; I generated those formulas with the redwoods script in the logon root. It<br>
&gt; would, of course, be ideal if that script itself included an option to<br>
&gt; preform the scope resolution, but there is no obvious option I can find in<br>
&gt; the script that does that.<br>
<br>
</span>i had to check for myself, but you are right: the current Redwoods<br>
export machinery does not support invokation of any of the scope<br>
resolves and output of the resulting formulae.  i have noted the<br>
feature request, though cannot promise i will get around to making<br>
those additions in the immediate future.<br>
<br>
best wishes, oe<br>
</blockquote></div><br><br clear="all"><div><br></div>
</div></div></div>