| 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 |
| Sat, 20 Jan 2024 15:07:41 +0100 | wenzelm | clarified directories; | file | diff | annotate | base |