Mon May 7 09:00:32 PDT 2007 simonpj at microsoft.com * Document -fspec-threshold This size-threshold flag is for both liberate-case and SpecConstr. Replaces -flibereate-case-threshold. M ./docs/users_guide/flags.xml -3 +4