Changes

Remove spurious/strange paragraph breaks

Minor improvement of 'itemize' source readability

Clean up some whitespace and ellipses in chapter 'Equations' Modelica code

Misc \lstinline cleanup in chapter 'Equations'

Use cleveref.sty instead of \autoref

Remove hard-coded section name after \cref

In the rare cases where the name of the section should be displayed, we should use \crefnameref, but I don't think this is one of those cases.

Make it an error to use \autoref

Even if \autoref would produce the same output as \cref today, we might decide to change the \cref output in the future, and then we would most likely not remember to also update the \autoref output.

Get rid of \doublelabel in favor of plain \label

As it has turned out that \doublelabel shouldn't do anything different than \label, it seems better to just stick with the standard command.

Change one instance of \cref to \Cref

Remove redundant reference to enumeration item

The "the last item" has no added value and just makes the reference overly verbose in the presence of the "item 5" output of \cref.

Use \cref for referencing equations

Try to fix CI build by installing cleveref.sty

Use \eqref instead of \cref for equation references

Add missing whitespace

Restore
Clarify macros for text
Closes #2416

RestoreSpace

Restore
Based on review.

Update chapters/annotations.tex

write out underscore

Co-Authored-By: Thomas Beutlich <modelica@tbeu.de>

Update chapters/annotations.tex

Comma

Co-Authored-By: Thomas Beutlich <modelica@tbeu.de>

Restore quoted identifier part

Remove space added for source code readability

#2620 replace non existing comment non-terminal with description non-terminal

Try to fix CI build by installing cleveref.sty

Add comments about LaTeXML issue 1292 being fixed on 'master'

LaTeXML issue: https://github.com/brucemiller/LaTeXML/issues/1292
LaTeXML fix: https://github.com/brucemiller/LaTeXML/commit/9f5c893bf5b013db0e7564fcb1733e8cd895b4a9

Build and use the new docker image with cleveref (#2626)

Also added a README for updating the docker image