diff options
| author | Paolo G. Giarrusso | 2019-04-27 16:11:05 +0200 |
|---|---|---|
| committer | Paolo G. Giarrusso | 2019-05-03 01:18:36 +0200 |
| commit | 70e01149ad4c74d086f042f0cced74b1d0e228bf (patch) | |
| tree | 90ccde62451f2467e83bc5f09af97a7bcf49f540 /plugins | |
| parent | 6960da4736186fa6214854329f36f558e7aa4d0b (diff) | |
Document _no_check tactics (#3225)
Triggered by trying to understand https://gitlab.mpi-sws.org/iris/iris/merge_requests/235.
- Add a new section at the end
- Document change_no_check, and convert_concl_no_check, address review comments
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions