log docs/conf.py @ 183:e3523930294a

age author description
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
Fri, 08 May 2026 21:19:54 +0200 Franz Glasner Move all lexers into a subpackage pygments_lexer_pseudocode2.lexers.
Fri, 08 May 2026 17:46:28 +0200 Franz Glasner Implement lexer option "prohibit_raiseonerror_filter".
Fri, 08 May 2026 16:36:11 +0200 Franz Glasner Disable a default domain when generating the docs