diff options
| author | Brian Campbell | 2019-11-02 16:11:35 +0000 |
|---|---|---|
| committer | Brian Campbell | 2019-11-04 17:03:42 +0000 |
| commit | 94831cc1d9278fd25a0682543e9e155c574273d9 (patch) | |
| tree | 6d00ffd799d1a8fb014dfc6eca81737b79536466 /src/jib/jib_interactive.ml | |
| parent | 3aca640eaf8cb10d473c64bd1ee7c462ab2236f4 (diff) | |
Coq: compatiblity with 8.10 as well as 8.9
Diffstat (limited to 'src/jib/jib_interactive.ml')
0 files changed, 0 insertions, 0 deletions