diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-11 12:58:30 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-07-11 12:58:30 +0200 |
commit | b646ab446866160b3c657f0134e93fdf002cbc7f (patch) | |
tree | 616a864eb04c9c23ccf1c43697b3b22d79ea62cb /plugins | |
parent | 79b2f30b22e1a0baeea614813e6984871ec16089 (diff) | |
parent | 3bb14bc0e3665527c8e961b1424df9284c5042b6 (diff) |
Merge PR #8035: Fix #8033: Tactic assert-suceeds has a typo in its name in the manual
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions