<br><br><div class="gmail_quote">On Mon, Nov 2, 2009 at 21:23, David Storrs <span dir="ltr">&lt;<a href="mailto:david.storrs@gmail.com">david.storrs@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<br><br><div class="gmail_quote"><div class="im">On Mon, Nov 2, 2009 at 10:28 AM, Laurent <span dir="ltr">&lt;<a href="mailto:laurent.orseau@gmail.com" target="_blank">laurent.orseau@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">


Also, I&#39;ve recently discovered the unavoidable MrEd Designer through a link in this mailing list, and I suspect there are many other usefulities like this in the wild.<br><div class="gmail_quote"><div>

Therefore I add a wish to my list:<br>- a section with links toward unlisted PLT tools websites.<br><br></div></div></blockquote></div><div><br>So...that would be a list of unlisted items?  ;&gt;<br></div></div></blockquote>

<div><br><br>To implement this, I asked for some help to friends of mine, Bertrand and Kurt, but they told me they had better things to do (in fact I think it&#39;s too difficult for them, but don&#39;t tell them).<br>However, Alan said that they forgot about the time dimension, so in fact what would be unlisted at first wouldn&#39;t be afterwards, so that should get easy. <br>

He said he had better things to do too, though...<br><br>;)<br><br>Laurent<br></div></div>