../ README.md 05-May-2024 19:33 3008 string-diagrams.dtx 05-May-2024 19:33 16030 string-diagrams.ins 05-May-2024 19:33 1566 string-diagrams.pdf 05-May-2024 19:33 551603