coq/test-suite/bugs/opened/3922.v-disabled, branch master The formal proof system rename test files (do not start by a digit) 2018-10-04T08:01:34+00:00 Vincent Laporte 2018-10-02T13:44:46+00:00 db22ae6140259dd065fdd80af4cb3c3bab41c184 






Temporarily disable test file for #3922.
2015-07-06T14:55:08+00:00

Maxime Dénès

2015-07-06T14:55:08+00:00

7ad2fe2bd30a07eb2495ea8cf902a24ef13a3627