<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Thanks for all your pointers. I've downloaded Eli's script and it's perfectly adequate for us.<div><br></div><div>Much appreciated!</div><div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: Helvetica; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; "><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div>Regards,</div><div><br></div><div>Adam</div><div><br></div><div><font class="Apple-style-span" face="Verdana"><font class="Apple-style-span" face="Helvetica"><br></font></font></div></div></span></span></div><div><div>On Nov 1, 2010, at 11:40 AM, Eli Barzilay wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"><div>I once wrote a script that does that -- you can find it at<br><a href="http://barzilay.org/hacks.html">barzilay.org/hacks.html</a> -- but it might need some dusting. It<br>precedes `wxme-port->whatever', and does some more work in an attempt<br>to produce some text that is close to the original wxme file.<br><br>But if you're using the handin server, then you can put some flags in<br>the checker files and it will create a text versions whenever a file<br>is submitted. That makes things much more convenient, since you can<br>even make it reject submissions with non-textual items, if you want to<br>be able to have a text file that is exactly the same as the student<br>submissions.<br></div></blockquote></div><br></div></body></html>