diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-03-17 09:08:36 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-03-17 09:08:36 +0100 |
commit | b317c77e7b40ebf2558d298fddfce4f6997afc5c (patch) | |
tree | 633ab3fa6c6409ca1ef4e8d296a45214b4142653 /theories/Logic | |
parent | ac3ee8cba2d27f2be38ba706e49aeee08086d936 (diff) | |
parent | 028db341f3cb924c2d1b3a9e0fa5666425130f90 (diff) |
Merge PR#428: Report missing tactic arguments in error message
Diffstat (limited to 'theories/Logic')
0 files changed, 0 insertions, 0 deletions