1 repository on SrcLog
provide a syntax to use amsthm environments in pandoc, with output in LaTeX and HTML