../ Makefile 05-Jul-2025 19:34 1141 soul.dtx 05-Jul-2025 19:34 135135 soul.ins 05-Jul-2025 19:34 301 soul.pdf 05-Jul-2025 19:34 388702 soul.txt 05-Jul-2025 19:34 1843