diff options
| author | Enrico Tassi | 2019-06-19 11:28:56 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-19 11:32:51 +0200 |
| commit | 0976a670cf853c9bc61b3eee6dceae4a429e066f (patch) | |
| tree | d51200b18898ad3ee5849fd7b32cf448375e1ebe /vernac/comProgramFixpoint.ml | |
| parent | ef41b7ed635902b3819b376f489f04841e1afc72 (diff) | |
[test-suite] support for unit-tests/ide/ tests linking coq.ide
Diffstat (limited to 'vernac/comProgramFixpoint.ml')
0 files changed, 0 insertions, 0 deletions