../ README.md 26-Apr-2024 19:47 2363 typed-checklist.dtx 26-Apr-2024 19:47 101133 typed-checklist.ins 26-Apr-2024 19:47 1861 typed-checklist.pdf 26-Apr-2024 19:47 697827