<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><br></div><div>Hm, I tend to consider <a href="http://plain.mp">plain.mp</a> kind of frozen --- I think it could be still in use for TAOCP, for example. Better to think to a <a href="http://newplain.mp">newplain.mp</a> instead, or something similar.<br></div><div class="gmail_extra"><br></div><div class="gmail_extra"><br></div>-- <br><div class="gmail_signature">luigi<br></div>
</div></div>