Better distinct larger titles in Lecture Notes index
Larger titles may take >1 line in the index box. It’s unclear where the title if a section ends/startsSubmitted by Elmer van Chastelet on 16 November 2022 at 13:38
On 17 November 2022 at 10:08 Elmer van Chastelet closed this issue.
Log in to post comments