Name Last modified Size Description Parent Directory - synthslant.ins 2024-07-09 17:03 1.8K synthslant.dtx 2024-07-09 17:03 287K docs/ 2024-07-09 17:03 - README.md 2024-07-09 17:03 1.9K Makefile 2024-07-09 17:03 7.8K LICENSE 2024-07-09 17:03 19K