The Coq mailing list

[Adam Chlipala <adam AT chlipala.net>]

Thomas Strathmann wrote:
> I've yet to find a way to apply a tactic T again and again to the 
> current goal exactly like
>
>   T. T. T. T. T. ...

Perhaps [repeat T] would do?  None of the structured Ltac support 
duplicates exactly the semantics of the period operator, as far as I 
know, but that's a feature, not a bug. :)