On Mon, Dec 1, 2008 at 12:52 PM, Andrea Vezzosi <sanzhiyan@gmail.com> wrote:

Mon Dec  1 12:48:53 ora solare Europa occidentale 2008  Andrea Vezzosi <sanzhiyan@gmail.com>
  * Fix #396 and add let .Haddock find autogen modules