Code

[new release] Add CoqIDE 8.11.0#15766

Code

Merged

kit-ty-kate merged 1 commit intoocaml:masterocaml/opam-repository:masterfrom anton-trunov:coqide-8.11.0anton-trunov/opam-repository:coqide-8.11.0Copy head branch name to clipboardFeb 1, 2020

+58

Commits

Commits on Jan 30, 2020

• [new release] Add CoqIDE 8.11.0

  anton-trunov

  committed
  8f26609

  Copy full SHA for 8f26609