<br><br><div><span class="gmail_quote">2008/1/22, Thomas Friedrichsmeier <<a href="mailto:thomas.friedrichsmeier@ruhr-uni-bochum.de">thomas.friedrichsmeier@ruhr-uni-bochum.de</a>>:</span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
On Tuesday 22 January 2008, I. Soumpasis wrote:<br>> The only problem that I had is that the plugins are actually not<br>> working. Selecting a variable and pressing the green arrow does<br>> nothing. Do not know if I am doing something wrong or there is a
<br>> problem. Is it reproducible?<br><br>Ouch, that's bad. Confirmed. I wonder when exactly that happened, since I<br>definitely tested that before (but not too recently, it seems).<br><br>This is now fixed in SVN. I guess I'll have to prepare a bugfix release pretty
<br>soon...</blockquote><div><br>Hi Thomas. I confirm also. Fixed.<br><br>Kind Regards,<br>Ilias <br></div><br></div><br>