<br><div class="gmail_quote">On Dec 12, 2007 4:18 AM, Valery V. Vorotyntsev &lt;<a href="mailto:valery.vv@gmail.com">valery.vv@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;">
Wed Dec 12 11:02:56 EET 2007 &nbsp;&quot;Valery V. Vorotyntsev&quot; &lt;<a href="mailto:valery.vv@gmail.com">valery.vv@gmail.com</a>&gt;<br> &nbsp;* Man.hs: input speedup<br><br> &nbsp;Descend manpage directories once -- when `manPrompt&#39; is called.
<br> &nbsp;(Previous version used to search directories upon each character<br> &nbsp;arrival.)<br></blockquote><br>Applied.<br></div><br>