cortav  Check-in [330e1ecfdb]

Overview
Comment:add extension mechanism, move toc to extensions, update docs, fix bugs
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 330e1ecfdb17218ca9fc8468b0f99ab7c74a33b440b0ea0623462c1fa39369fd
User & Date: lexi on 2021-12-22 10:19:13
Other Links: manifest | tags
Context
2021-12-22
10:19
disable backtraces check-in: 2af5c4085a user: lexi tags: trunk
10:19
add extension mechanism, move toc to extensions, update docs, fix bugs check-in: 330e1ecfdb user: lexi tags: trunk
2021-12-21
05:04
add --version -V flag check-in: 0c6a784678 user: lexi tags: trunk
Changes

Modified cli.lua from [bdd85f20a4] to [497f5957f5].    [diff]

Modified cortav.ct from [e9d2ad32df] to [c71fe3a9e8].    [diff]

Modified cortav.lua from [7d896a453b] to [e7bf814ce9].    [diff]

Modified ext/toc.lua from [ed743c91e7] to [706a61f3d9].    [diff]

Modified sirsem.lua from [8f6ee343ec] to [1f16b393f5].    [diff]