Code

Add support for Mizar#619

Code

Merged

Golmote merged 4 commits intoPrismJS:gh-pagesPrismJS/prism:gh-pagesfrom Golmote:prism-mizarGolmote/prism:prism-mizarCopy head branch name to clipboardSep 7, 2015

+387

Commits

Commits on Jul 3, 2015

• Add support for Mizar

  Golmote

  committed
  e90c74e

  Copy full SHA for e90c74e

Commits on Sep 7, 2015

• Merge branch 'gh-pages' into prism-mizar

  Show description for 8af0b91
  Golmote

  committed
  8af0b91

  Copy full SHA for 8af0b91

• Mizar: Fixed @proof keyword

  Golmote

  committed
  82ba23b

  Copy full SHA for 82ba23b

• Add tests for Mizar

  Golmote

  committed
  3645f0e

  Copy full SHA for 3645f0e