$include_dir="/home/hyper-archives/boost/include"; include("$include_dir/msg-header.inc") ?>
From: Johan Råde (rade_at_[hidden])
Date: 2006-11-10 08:29:11
Johan Råde wrote:
> I agree with all 4 suggestions.
> And time spent building good tools usually pays off.
>
> I will do 3 and 4, and add -denorm_min and min/2 to the inspect tool today.
Done, and uploaded to the vault.
>
> I will do 1 and 2 later.
--Johan