diff options
| author | Cyprien Mangin | 2015-06-19 12:53:51 +0200 |
|---|---|---|
| committer | Cyprien Mangin | 2016-06-02 09:17:38 +0200 |
| commit | 6cc27d2ca57a5d2fedfa52d8b44c37c60ccb6988 (patch) | |
| tree | 4d30728dd551ccede5284e301feea86bf78d32d7 /kernel/nativecode.mli | |
| parent | cf5baeccf3cf7c24ccc69aa728bfe836fba5230a (diff) | |
Add a [Show Proof.] query to CoqIDE.
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions