doh, with the patch attached this time =P<br><br><div class="gmail_quote">On Nov 17, 2007 12:44 PM, Brent Yorgey &lt;<a href="mailto:byorgey@gmail.com">byorgey@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Sat Nov 17 12:39:24 EST 2007&nbsp; Brent Yorgey &lt;<a href="mailto:byorgey@gmail.com" target="_blank">byorgey@gmail.com</a>&gt;<br>&nbsp; * Documentation.hs: various stylistic edits, add a few more details<br><br><br>
</blockquote></div><br>