cls: make theorem spacing more even
top: fix display of \homto
cls: make spacing in segment headings fixed
ana2: shortened some titles in toc and headings
top: declare title before document start
cls: font experiments
eopt: display fixes
laag2: use correct segment syntax
top: add proof
top: fix alignment of underline in \Cat{}
top: experimental: allow displaybreaks
top: various changes