2 Commits

Include renames

Author	SHA1	Message	Date
John MacFarlane	c266734448	Use pretty-simple to format native output. ... Previously we used our own homespun formatting. But this produces over-long lines that aren't ideal for diffs in tests. Easier to use something off-the-shelf and standard. Closes #7580. Performance is slower by about a factor of 10, but this isn't really a problem because native isn't suitable as a serialization format. (For serialization you should use json, because the reader is so much faster than native.)	2021-09-21 12:37:42 -07:00
John MacFarlane	abb59bd582	LaTeX reader: don't allow optional * on symbol control sequences. ... Generally we allow optional starred variants of LaTeX commands (since many allow them, and if we don't accept these explicitly, ignoring the star usually gives acceptable results). But we don't want to do this for `\(*\)` and similar cases. Closes #7340.	2021-06-01 13:54:51 -06:00