diff options
| author | Enrico Tassi | 2019-06-19 11:28:26 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-19 11:32:51 +0200 |
| commit | ef41b7ed635902b3819b376f489f04841e1afc72 (patch) | |
| tree | 83ef3b4a6d9cdaee69f5639119951bfd3e6bf447 /vernac/comProgramFixpoint.ml | |
| parent | bcc790edb63af62022699c8005b522b45f0e81cd (diff) | |
[META] fix dependencies of coq.ide
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions