diff options
author | 2017-03-07 18:16:27 +0100 | |
---|---|---|
committer | 2017-04-24 17:59:20 +0200 | |
commit | 21ee9a82807176acecf917e2a1e6074bed1c88ff (patch) | |
tree | fee4830c1adcb78fcb92d54382a922635028c91e /intf/notation_term.mli | |
parent | 552544a3d385a3a59def038bdb0a22a69fe4b0a9 (diff) |
Removing the tclWEAK_PROGRESS tactical.
The only remaining use was applied on the unfold tactic, and the behaviours
of tclPROGRESS and tclWEAK_PROGRESS coincide whenever only one goal is produced
by their argument tactic.
Diffstat (limited to 'intf/notation_term.mli')
0 files changed, 0 insertions, 0 deletions