diff options
| author | Guillaume Melquiond | 2015-06-19 13:49:26 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-06-19 13:49:26 +0200 |
| commit | 1e9ef2c64dcfa916ba3643b219040cd8dabfd48a (patch) | |
| tree | 4c42235cf5a29b4fa52609ba6411500751ff9564 /kernel/nativelib.ml | |
| parent | 03d1fa42c17896cb9d767b509e05bd0db78cb7d2 (diff) | |
Make end-of-proof output consistent across toplevels.
Ideally, the code should be shared between the various toplevels, but this
is a lot more work than just fixing a few strings.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions