Maryyam

LaTeX: Long expressions fall out of page boundaries

12

(Similar in purpose to #346) `Breqns` was removed from the import list for the latex files (reasoning for which is discussed in #701). Implementation for formatting of long equations is...

What data types should define new scopes?

1

In the comments of commit 6c6e48a, @JacquesCarette mentioned that "We can later decide which things define new scopes (such as `DataDefinition`s), and make it an error to scope something to...

Definitions should properly tailor English

1

Issue #740 will soon be closed after altering a definition of an instance model's symbol to one that doesn't conflict with how symbols are hard-coded to be described using "is...

Theory derivations should be more than simple `Sentence`s

7

*Problem from #1356:* We want to be able to place figures in theory derivations because they can aid in understanding theory derivations. In order to do this, _this_ original ticket...