|
|
881454f3d5
|
Tweaks while making a MWE to propose a patch
|
2023-06-03 14:13:35 +02:00 |
|
|
|
d3c55eb86d
|
Improve names, comments, and documentation in recent commits
|
2023-06-03 07:00:47 +02:00 |
|
|
|
e07bda2d39
|
Add export to HTML file and open functionality
|
2023-06-01 17:17:01 +02:00 |
|
|
|
dd95f7e65c
|
Derive an HTML export backend to embed SVG images
|
2023-06-01 16:22:00 +02:00 |
|
