Mozilla
Coq on Mozilla
Mozilla Foundation has drawn Coq once. Every revision Mozilla has shipped is below, newest first.
Coq on other platforms
Frequently asked questions
- What does Coq look like on Mozilla?
- On Mozilla it is the design shipped in Firefox OS 2.5, shown above at full size. Older revisions are listed beneath it.
- When did Mozilla add Coq?
- Mozilla first drew Coq in Firefox OS 2.5, released 30 janvier 2016.
- How many times has Mozilla redrawn Coq?
- Mozilla Foundation has shipped 1 version of Coq. Each is dated, so you can see when the design changed.