Thu Jul 20 11:30:01 CEST 2023
- Misc. stability improvements and bug fixes
- A crash affecting PDF display in live typesetter fixed
- Problem resolved where the PDF did not refresh in live typeset mode
towards the very end of the document
Auto-update from within Texifier or download here