../ CHANGES 05-Jul-2025 19:34 1370 README 05-Jul-2025 19:34 951 catechis.dtx 05-Jul-2025 19:34 21467 catechis.ins 05-Jul-2025 19:34 2197 catechis.pdf 05-Jul-2025 19:34 388762 lppl.txt 05-Jul-2025 19:34 19106