The Coq mailing list

[Pierre Courtieu <Pierre.Courtieu AT cnam.fr>]

I am sorry but I did not find the reference to the tactic argument of
econstructor at the url you gave and in the documentation in general.
Can you be more precise please?

Best regards,
P.C.

2012/5/22 Paolo Herms 
<paolo.herms AT cea.fr>:
> Of course, this is documented as part of the tactic language
> http://coq.inria.fr/refman/Reference-Manual012.html
> --
> Paolo Herms
> PhD Student - CEA Software Safety Lab. / Inria ProVal project-team
> Paris, France
>
>