../ CHANGES 19-Jul-2021 23:34 1370 README 19-Jul-2021 23:34 951 catechis.dtx 19-Jul-2021 23:34 21467 catechis.ins 19-Jul-2021 23:34 2197 catechis.pdf 19-Jul-2021 23:34 388762 lppl.txt 10-Oct-2022 17:27 19106