log docs/conf.py @ 176:34c6b714c8cd

age author description
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".