| Fix Drop on ocaml >= 5.3 cf https://github.com/ocaml/ocaml/issues/14344#issuecomment-3503278867 | 10 个月前 |
| Rename wwwstdlib -> wwwcorelib etc, add --corelib_url arg for rocqdoc Not entirely sure how best to deprecate a rocqdoc command line argument, for now it just says deprecated in the usage for --coqlib_url | 7 个月前 |
| Remove compat coq-core libraries (not executables) Keep coq-core.kernel because it's used by dune coq mode. | 3 个月前 |
| Enable warning 70 (missing mli), add mli files I am tired of seeing compilation bottleneck on random grammar files | 3 年前 |
| Enable warning 70 (missing mli), add mli files I am tired of seeing compilation bottleneck on random grammar files | 3 年前 |