blob: 400f0c3679559fd9c2c5a7068ed5903af858ca44 (
plain)
1
2
3
4
5
6
7
8
|
Ltac gprogress tac :=
[ > progress tac | tac.. ]
+ [ > | gprogress tac.. ].
Tactic Notation "gprogress" tactic3(tac) := gprogress tac.
Ltac gtry tac := tac + idtac.
Tactic Notation "gtry" tactic3(tac) := gtry tac.
Ltac grepeat tac := gtry (gprogress tac; grepeat tac).
Tactic Notation "grepeat" tactic3(tac) := grepeat tac.
|
