<div dir="ltr">bump again (2)<br></div><div class="gmail_extra"><br><br><div class="gmail_quote">2013/11/28 Edoardo P. <span dir="ltr"><<a href="mailto:ed0.88.prez@gmail.com" target="_blank">ed0.88.prez@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">bumping again...<br><br><a href="http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130805/183955.html" target="_blank">http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20130805/183955.html</a><br>
</div>
<div class="gmail_extra"><div><div class="h5"><br><br><div class="gmail_quote">2013/8/25 Tim Northover <span dir="ltr"><<a href="mailto:t.p.northover@gmail.com" target="_blank">t.p.northover@gmail.com</a>></span><br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Hi Edward-san,<br>
<div><br>
> In this patch I changed the docs as well (I hope I did not use wrong<br>
> syntax...).<br>
<br>
</div>I think it looks fine.<br>
<span><font color="#888888"><br>
Tim.<br>
</font></span></blockquote></div><br><br clear="all"><br></div></div><div class="im">-- <br>Mathematics is the language with which God has written the universe. (Galilei)
</div></div>
</blockquote></div><br><br clear="all"><br>-- <br>Mathematics is the language with which God has written the universe. (Galilei)
</div>