Code

Added support for Coq#2803

Code

Merged

RunDevelopment merged 2 commits intoPrismJS:masterPrismJS/prism:masterfrom RunDevelopment:coqRunDevelopment/prism:coqCopy head branch name to clipboardMar 25, 2021

+902-1

Commits

Commits on Mar 15, 2021

• Added support for Coq

  RunDevelopment

  committed
  c84df88

Commits on Mar 25, 2021

• Merge branch 'master' into coq

  RunDevelopment

  committed
  66c8a76