| Wed, 13 May 2026 09:00:57 +0200 |
Franz Glasner |
FIX: Reset defaultfontfeatures because plex-otf.sty doesn't do it internally
|
| Wed, 13 May 2026 01:12:48 +0200 |
Franz Glasner |
FIX: Name of PDF output
|
| Tue, 12 May 2026 21:07:42 +0200 |
Franz Glasner |
Also link to exampled from the PDF properly
|
| Tue, 12 May 2026 20:22:47 +0200 |
Franz Glasner |
Link to some source code of example pseudocode files
|
| Tue, 12 May 2026 19:43:48 +0200 |
Franz Glasner |
Allow to build the documentation when the project is not installed
|
| Tue, 12 May 2026 15:54:07 +0200 |
Franz Glasner |
Optimize PDF content.
|
| Tue, 12 May 2026 15:15:10 +0200 |
Franz Glasner |
More comments on the needed Sphinx version
|
| Tue, 12 May 2026 15:12:42 +0200 |
Franz Glasner |
Move all LaTex specific files to the _latex subfolder
|
| Tue, 12 May 2026 14:58:14 +0200 |
Franz Glasner |
A style file for (Lua)LaTeX that loads the required fonts.
|
| Tue, 12 May 2026 13:48:00 +0200 |
Franz Glasner |
FIX: Consistent rendering of lexer or filter options
|
| Tue, 12 May 2026 11:57:49 +0200 |
Franz Glasner |
FIX: Wording in README: filters are registered automatically also
|
| Tue, 12 May 2026 09:46:05 +0200 |
Franz Glasner |
Make targets: "docs" -> "doc"
|
| Mon, 11 May 2026 16:16:51 +0200 |
Franz Glasner |
Refactor make targets because of PDF generation
|
| Mon, 11 May 2026 16:06:14 +0200 |
Franz Glasner |
FIX: Do not use IBM Plex Mono but DejaVu Sans Mono because it has all needed symbols
|
| Mon, 11 May 2026 15:49:21 +0200 |
Franz Glasner |
Remove unneeded reference target
|
