|
|
a8f07dd422
|
Tweak pretty printing of LaTeX
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-01 14:09:12 -08:00 |
|
|
|
546265f2e6
|
Add string literals to the term language
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-12-01 12:55:11 -08:00 |
|
|
|
f30752a2c6
|
Minor tweaks to pretty printing and CSS
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-26 20:48:48 -08:00 |
|
|
|
e0532fb581
|
Fix the parser and add more syntax pretty printing
Signed-off-by: Danila Fedorin <danila.fedorin@gmail.com>
|
2023-11-26 20:44:27 -08:00 |
|
|
|
4deb7bc556
|
Minor tweaks to style and rule rendering
|
2023-11-26 16:32:27 -08:00 |
|
|
|
acc769e799
|
Add LaTeX support for rendering rules
|
2023-11-26 15:54:01 -08:00 |
|
|
|
7cc5d05e9c
|
Add a way to print the rules as LaTeX
|
2023-11-26 14:34:52 -08:00 |
|
