cortav  Check-in [0042f47e35]

Overview
Comment:fix definition-form deref rendering, fix exns, add debug mechanism for printing stacktraces, alleviate multifarious dimbulbery
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | trunk
Files: files | file ages | folders
SHA3-256: 0042f47e35e38a5eef62c89daf189c9231e361050debd05f3c0a6e2bd4066ca5
User & Date: lexi on 2024-07-18 21:43:59
Other Links: manifest | tags
Context
2024-07-18
21:43
fix definition-form deref rendering, fix exns, add debug mechanism for printing stacktraces, alleviate multifarious dimbulbery Leaf check-in: 0042f47e35 user: lexi tags: trunk
18:36
fix untransmogrified footnotes begot by absent hook call check-in: bb010e612e user: lexi tags: trunk
Changes

Modified cli.lua from [0dc68c1657] to [047ac156ff].    [diff]

Modified cortav.lua from [3e270c2a7b] to [f2a5ec5d52].    [diff]

Modified makefile from [8d3e37cc0b] to [c76cdbdd22].    [diff]

Modified render/html.lua from [e178fd542c] to [7d5a564158].    [diff]

Modified sirsem.lua from [7e67a3ff12] to [c354742055].    [diff]

Modified tool/makeshim.lua from [9df833faa8] to [c724b89ab4].    [diff]