Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-09-28 | Switch from pretty-simple to pretty-show for native output. | John MacFarlane | 1 | -168/+163 |
2021-09-21 | Use pretty-simple to format native output. | John MacFarlane | 1 | -10/+179 |
2020-10-08 | LaTeX reader: Fix parsing of "show name" in newtheorem. | John MacFarlane | 1 | -1/+1 |
2020-07-23 | Further improvements to ams theorem support, and a test. | John MacFarlane | 1 | -0/+41 |