Lawrence Paulson Tue, 18 Mar 2008 17:27:25 +0000
Attempting to use sledgehammer now generates dozens of "Legacy feature!" warnings. Also the output is no longer displayed. Does anybody know what is going on?
Larry
