diff options
| author | Gaëtan Gilbert | 2019-02-07 13:23:25 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-02-12 17:16:39 +0100 |
| commit | aeb5deb414daf47e0f766489742b4ef9c2529c63 (patch) | |
| tree | 3410b12d9ab8fb53acc6e8e1d35c4abb323dd840 /kernel/nativecode.ml | |
| parent | 123064557fce67e98f73ee56bb4aff534c9ceb85 (diff) | |
Fix failing coqtops in gallina-specification-language.rst
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions