|
|
9ee5e7efa3
|
Bump version number
|
2024-04-13 12:27:53 +02:00 |
|
|
|
81d9cd4bde
|
Fixes in typesetting the manual
|
2024-04-13 12:14:35 +02:00 |
|
|
|
c3dd41d8e6
|
Added convenience macros to add types
|
2024-04-13 11:55:19 +02:00 |
|
|
|
f98bd8927e
|
Fixes in the manual
|
2024-04-13 10:48:01 +02:00 |
|
|
|
ff8d813637
|
Updated the template for Pandoc and slightly improved the manual
|
2023-02-20 21:35:57 +01:00 |
|
|
|
fec1feff3b
|
typo + version
|
2023-02-20 21:12:39 +01:00 |
|
|
|
59233a91f7
|
Updated version and copyright date
|
2023-02-20 21:06:42 +01:00 |
|
|
|
c4bbc57605
|
Initial commit
|
2022-11-13 19:32:36 +01:00 |
|
