where did the index go?

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

where did the index go? #126

Closed DanGrayson closed 3 years ago

DanGrayson commented 3 years ago

The book no longer appears with an index. Nor with a glossary.

UlrikBuchholtz commented 3 years ago

Thanks for catching that. Fixed in 687e7bf