../ docs/ 07-May-2024 15:57 - LICENSE 07-May-2024 15:57 19039 Makefile 07-May-2024 15:57 6990 README.md 07-May-2024 15:57 1837 RELEASE-HOWTO.md 07-May-2024 15:57 908 synthslant.dtx 07-May-2024 15:57 281894 synthslant.ins 07-May-2024 15:57 1750