diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-27 17:55:02 +0100 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-01-27 17:55:02 +0100 |
commit | 626013259652e208ce99c84463e05ce22e62484a (patch) | |
tree | 1c202419e91b62dd5c43a2e12fc38c35c5ba6883 /generic | |
parent | d35b46774617b44776730adf9d8ea4807a75e8a2 (diff) |
Fixed recent coq syntax change (tac !H become tac (H)).
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions