4 check-ins using file sirsem.lua version 1f16b393f5
|
2021-12-22
| ||
| 10:23 | fix bugged makefile check-in: 36024a43c5 user: lexi tags: trunk | |
| 10:20 | aaaagh remove debugging code check-in: 5898f6833b user: lexi tags: trunk | |
| 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 | |