Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [flags] Deprecate is_silent/is_verbose in favor of single flag. | 2017-04-21 | |
* | [xml] Restore protocol compatibility with 8.6. | 2017-03-21 | |
* | [stm] Add common toploop for workers. | 2017-03-21 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | [flags] Deprecate is_silent/is_verbose in favor of single flag. | 2017-04-21 | |
* | [xml] Restore protocol compatibility with 8.6. | 2017-03-21 | |
* | [stm] Add common toploop for workers. | 2017-03-21 |