The Coq mailing list

[St�phane Lescuyer <stephane.lescuyer AT inria.fr>]

> It would be better to (eventually) have it on by default because we want to
> make avaiable fixpoints with higher order uniform parameters from people who
> haven't even though about others reusing their work.

Indeed, that's the idea. But even if its on by default it still
facilitates backward compatibility : you can have your own Compat82.v
file that just contains 'Automatic Generalization off' and you only
need to import it in your old projects.

-- 
I'm the kind of guy that until it happens, I won't worry about it. -
R.H. RoY05, MVP06