Code

[new release] Add CoqIDE 8.11.1#16148

Code

Merged

kit-ty-kate merged 4 commits intoocaml:masterocaml/opam-repository:masterfrom anton-trunov:coqide-8.11.1anton-trunov/opam-repository:coqide-8.11.1Copy head branch name to clipboardApr 5, 2020

+59

Commits

Commits on Apr 5, 2020

• [new release] Add CoqIDE 8.11.1

  anton-trunov

  committed
  77a3c61

  Copy full SHA for 77a3c61

• Filters work on per-line basis

  anton-trunov

  committed
  28781a9

  Copy full SHA for 28781a9

• syntax test

  kit-ty-kate

  authored
  fa28f80

  Copy full SHA for fa28f80

• put back original syntax

  kit-ty-kate

  authored
  2909ae8

  Copy full SHA for 2909ae8