| Sun, 13 Nov 2022 20:45:49 +0100 | wenzelm | separate style for re-use; | file | diff | annotate |
| Fri, 04 Nov 2022 20:56:07 +0100 | wenzelm | tuned document; | file | diff | annotate |
| Mon, 31 Oct 2022 21:44:34 +0100 | wenzelm | support for FoilTeX with demo document; | file | diff | annotate |