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