| Mon, 01 Jul 2024 12:59:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Fri, 28 Jun 2024 16:51:55 +0200 | wenzelm | minor performance tuning: allow recode operation during YXML parsing; | file | diff | annotate |
| Sun, 09 Jun 2024 21:16:38 +0200 | wenzelm | clarified data representation: prefer explicit type Thm_Name; | file | diff | annotate |