diff docs/details.rst @ 166:6a7dace0141e

Also implement filters to replace tokens in a token stream: TokenReplaceFilter and ErrorToGenericErrorTokenFilter
author Franz Glasner <fzglas.hg@dom66.de>
date Fri, 08 May 2026 23:54:06 +0200
parents 2a653897f31e
children
line wrap: on
line diff
--- a/docs/details.rst	Fri May 08 23:50:24 2026 +0200
+++ b/docs/details.rst	Fri May 08 23:54:06 2026 +0200
@@ -2,10 +2,10 @@
 
 *********
  Details
-********* 
+*********
 
 .. toctree::
 
    details-algpseudocode
    details-frpseudocode
-   
+   details-filter