coq/test-suite/unit-tests/ide, branch master The formal proof system Revert "[test] unit tests for ide/coq_lex.ml" + makefile support 2020-05-17T11:22:09+00:00 Gaëtan Gilbert 2020-05-10T19:39:00+00:00 7da245bd2db7496628645a43965e5df966234fd5 This reverts commits 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e and 0976a670cf853c9bc61b3eee6dceae4a429e066f. 
This reverts commits 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e and
0976a670cf853c9bc61b3eee6dceae4a429e066f.
[test] unit tests for ide/coq_lex.ml 2019-06-19T11:27:37+00:00 Enrico Tassi 2019-06-19T08:49:55+00:00 71ea3ca8b4d3a6fa6b005e48ff7586176b06259e