aboutsummaryrefslogtreecommitdiff
path: root/test/command/1608.md
AgeCommit message (Expand)AuthorFilesLines
2021-09-28Switch from pretty-simple to pretty-show for native output.John MacFarlane1-168/+163
2021-09-21Use pretty-simple to format native output.John MacFarlane1-10/+179
2020-10-08LaTeX reader: Fix parsing of "show name" in newtheorem.John MacFarlane1-1/+1
2020-07-23Further improvements to ams theorem support, and a test.John MacFarlane1-0/+41