cortav  Check-in [ee086767f3]

Overview
Comment:add remote fetch via curl, shim native bindings
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: ee086767f3c7d8e499c9a4a91ffe77f6bd1805ab58a5d73c4ee8d44f4f337167
User & Date: lexi on 2022-09-10 17:28:05
Other Links: manifest | tags
Context
2022-09-10
19:14
tweak docs check-in: 5a78370f0f user: lexi tags: trunk
17:28
add remote fetch via curl, shim native bindings check-in: ee086767f3 user: lexi tags: trunk
13:31
better footnotes, update syntax def, delete broken old span check-in: a8358d587d user: lexi tags: trunk
Changes

Modified cli.lua from [2aa6072a5d] to [6b3b695c7e].    [diff]

Modified cortav.lua from [648cf1722d] to [940c3efd41].    [diff]

Modified makefile from [fbd94cf6db] to [10a67640c2].    [diff]

Modified render/html.lua from [e235e554e3] to [28584fb71a].    [diff]

Modified sirsem.lua from [9b28e1fde4] to [2b64c7033a].    [diff]

Modified tool/makeshim.lua from [cea771ab78] to [f7d9ea5be8].    [diff]