• simonmar's avatar
    [project @ 1999-12-02 13:33:06 by simonmar] · 68f77b1b
    simonmar authored
    The infamous "NOTE: simplifier still going..." message is now
    protected by #ifdef DEBUG.  It doesn't mean much to the average user,
    and we tend to use DEBUG when hacking anyway.
    68f77b1b
SimplCore.lhs 19 KB