Open kohlhase opened 2 years ago
Just so we do not forget:
In the documentation for every \stexexample there is a spurious . in an extra line that is in the way (esthetically).
\stexexample
.
Just so we do not forget:
In the documentation for every
\stexexample
there is a spurious.
in an extra line that is in the way (esthetically).