../ README.md 29-May-2022 22:51 2363 typed-checklist.dtx 29-May-2022 22:51 101133 typed-checklist.ins 29-May-2022 22:51 1861 typed-checklist.pdf 29-May-2022 22:51 697827