log docs/conf.py @ 196:d57cf1bb96d6

age author description
Wed, 13 May 2026 12:08:21 +0200 Franz Glasner A new PDF style using "Spectral" with Source Sans/Code
Wed, 13 May 2026 09:48:52 +0200 Franz Glasner Also make a PDF style variant using Adobe Source Serif/Sans/Code Pro
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: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.
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:08:19 +0200 Franz Glasner Scale IBM Plex to 0.92 by default
Mon, 11 May 2026 14:38:59 +0200 Franz Glasner The first somewhat useable version of documentation in PDF.
Mon, 11 May 2026 10:52:43 +0200 Franz Glasner Do not justify the documentation output.
Sun, 10 May 2026 15:27:18 +0200 Franz Glasner More static and/or dynamic metadata into README and project's init: release date, revision.
Fri, 08 May 2026 23:54:06 +0200 Franz Glasner Also implement filters to replace tokens in a token stream: TokenReplaceFilter and ErrorToGenericErrorTokenFilter