search

UniMath / SymmetryBook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.
Creative Commons Attribution Share Alike 4.0 International
378 stars 22 forks source link

fullwidth #104

Closed DanGrayson closed 3 years ago

DanGrayson commented 3 years ago

The use of the macro \fullwidth results in bad looking text:

Screen Shot 2021-04-22 at 1 17 14 PM
DanGrayson commented 3 years ago

I'll break it.

DanGrayson commented 3 years ago

Fixed in commit fc0506d78552bfa7f00b3e273a55f71683b10712