diff options
| author | Hugo Herbelin | 2020-03-02 19:03:02 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2020-03-12 12:08:14 +0100 |
| commit | 357f0b36bf352b26aeb5ca5c413c7bd03f615513 (patch) | |
| tree | 14fd7abf78093f26363a9787941249eb5991e5a7 /plugins | |
| parent | af1b164b2a496d9c44b4b8648e37514b3def5b7a (diff) | |
Documenting when exceptions are noncritical in the proof engine
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions