Richard Zach

Consider rule names, make configurable

2

Not all rule labels are produced by macros, and the style file has two sets for them. Make that uniform. Also as suggested in #11 by @catrincm, avoid Latin. ECQ...

https://github.com/rzach/forallx-yyc/pull/7/commits/0f8bdb6240cea7cd20eafc59cd10e6d3af68fb99 Previously, the notions of extension and of stipulating an extension were used in section 27.1, before the notion of extension was introduced in section 27.2. This change defines an...

Should also cover functions, and mathematical examples (eg language of arithmetic)

image descriptions for SVGs (\tikzpictures)

5

Issue #1452 added support for `alt` attributes for `img` tags produced by `\includegraphics`. It looks like no similar mechanism exists for images produced with `\tikzpicture` (which are turned into inline...