diff options
| author | Erik Martin-Dorel | 2020-06-30 19:04:28 +0200 |
|---|---|---|
| committer | Erik Martin-Dorel | 2020-06-30 19:04:28 +0200 |
| commit | 2443722270fcde5b952ba5081add3f7262145c89 (patch) | |
| tree | 4019eb9555ffc9f671a878ea41a907a12d4977e2 /plugins/syntax/float_syntax.ml | |
| parent | 9c9330f2e3a5ff205973881003c5734034b7d0d5 (diff) | |
docs(README.md): Update badge and links
* Coq images are not built anymore from a Docker Hub automated build,
they are now built from this GitLab CI project:
https://gitlab.com/coq-community/docker-coq
Diffstat (limited to 'plugins/syntax/float_syntax.ml')
0 files changed, 0 insertions, 0 deletions