diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-04-27 18:47:35 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-04-27 18:47:35 +0200 |
commit | cc12397b32785b06ed892e8ad420cfe253842141 (patch) | |
tree | 7c05eb0c787a3ec61d00abf611418030530a2fc6 /interp/coqlib.ml | |
parent | 30191ecc9a15156aa146c26177fc21c40ce06f99 (diff) | |
parent | e699313c7a3829016c853b2a1541c2e9151d709c (diff) |
Merge PR#583: [toplevel] More work on error handling.
Diffstat (limited to 'interp/coqlib.ml')
0 files changed, 0 insertions, 0 deletions