diff options
| author | Pierre-Marie Pédrot | 2016-12-14 08:09:54 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-05-19 15:17:31 +0200 |
| commit | 735ab0a7d2f7afaed0695e014034f4b2d6e287c8 (patch) | |
| tree | 42dfb80b8695c24b14e56b5ebf58d11abe6ee429 /Control.v | |
| parent | b5530d8953e74def1feb7dd651ba504e24749055 (diff) | |
Stdlib functions now return Ltac2 exceptions.
Diffstat (limited to 'Control.v')
0 files changed, 0 insertions, 0 deletions