<div class="gmail_extra"><br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
To download:<br>(require (planet orseau/script-plugin:2:7/tool))<br>then restart DrRacket.<span class="HOEnZb"></span><br></blockquote></div><br>Prefer using:<br>(require (planet orseau/script-plugin:2/tool))<br><br>to download the latest version (less bugs hopefully)<br>

<br>Laurent<br></div>