../ docs/ 09-Jul-2024 08:03 - LICENSE 09-Jul-2024 08:03 19K Makefile 09-Jul-2024 08:03 7957 README.md 09-Jul-2024 08:03 1939 RELEASE-HOWTO.md 07-May-2024 07:57 908 synthslant.dtx 09-Jul-2024 08:03 287K synthslant.ins 09-Jul-2024 08:03 1894