cortav  Check-in [709518a06e]

Overview
Comment:error improvements, sirsem bug fix
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 709518a06e109715aed36ad7bdbff4a6ae7b8878ae62278a27e9e69bc04213ff
User & Date: lexi on 2021-12-20 00:14:03
Other Links: manifest | tags
Context
2021-12-20
00:40
tweak headers check-in: bdd8d569a9 user: lexi tags: trunk
00:14
error improvements, sirsem bug fix check-in: 709518a06e user: lexi tags: trunk
00:09
split cortav into modules, enable use as library, create extension mechanism stub, fix up docs check-in: 9c67b0312c user: lexi tags: trunk
Changes

Modified cortav.lua from [2576638f1f] to [e2f30c819c].    [diff]

Modified sirsem.lua from [2492fec6e5] to [a1f6282434].    [diff]