diff options
| author | Enrico Tassi | 2019-06-19 10:49:55 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2019-06-19 13:27:37 +0200 |
| commit | 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e (patch) | |
| tree | 11c900facb31c668157cce88583d0bb5b141c240 /interp | |
| parent | 0976a670cf853c9bc61b3eee6dceae4a429e066f (diff) | |
[test] unit tests for ide/coq_lex.ml
Diffstat (limited to 'interp')
0 files changed, 0 insertions, 0 deletions