<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>Den 13. okt. 2012 kl. 21:14 skrev Joshua Landau <<a href="mailto:joshua.landau.ws@gmail.com">joshua.landau.ws@gmail.com</a>>:<br><br></div><blockquote type="cite"><div class="gmail_quote"><div><br></div><div>I am glad someone else shares the same progressive attitude. I, personally, wrap my whole code like so:</div><div>
<br></div><blockquote></blockquote><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"><span style="font-family:'courier new',monospace">import texcode</span> </blockquote>
<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"> </blockquote><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">
<span style="font-family:'courier new',monospace"></span><span style="font-family:'courier new',monospace">texcode.texecute("""<br></span><span style="font-family:'courier new',monospace">\eq{y}{\range{1}{10}}<br>
</span><span style="font-family:'courier new',monospace">\for{x}{y}{<br></span><span style="font-family:'courier new',monospace"> \print{x}<br></span><span style="font-family:'courier new',monospace">}<br>
</span><font face="courier new, monospace">""") # Alas, the joy has to end</font></blockquote><div><br></div><div>Which has tremendously improved the quality of my output.</div><div>Recently, rendering my code, too, has sped up to a remarkable 3 pages-per-minute!</div>
<blockquote></blockquote><blockquote></blockquote><blockquote></blockquote><blockquote></blockquote><blockquote></blockquote></div>
</blockquote><br><div>Gee, I thought texecution was the Texas death penalty :-)</div><div><br></div><div>Sturla</div><div><br></div><div><br></div><div><br></div></body></html>