../ Makefile 29-Jun-2022 19:36 1141 soul.dtx 29-Jun-2022 19:36 135135 soul.ins 29-Jun-2022 19:36 301 soul.pdf 29-Jun-2022 19:36 388702 soul.txt 29-Jun-2022 19:36 1843