The Coq mailing list

[Frédéric Blanqui <frederic.blanqui AT inria.fr>]

Hello.

Is there a way to tell Coq that some section variable should be declared 
as a maximally inserted implicit argument when the section is closed?

Regards,

Frédéric.