search

rzach / forallx-yyc

UCalgary version of forallx, an introduction to formal logic
https://forallx.openlogicproject.org/
Creative Commons Attribution 4.0 International
94 stars 30 forks source link

Glossary in HTML #79

Open rzach opened 1 year ago

rzach commented 1 year ago

LaTeXML 0.8.7 times out on expl8 https://github.com/brucemiller/LaTeXML/issues/2064 which is needed by glossaries. When that's fixed we can try to compile the glossary to HTML.