../ abbrev 08-Feb-2023 21:50 588 abbrev-num 08-Apr-2024 00:47 399 abbrev-tree 08-Feb-2023 21:50 428 abbreviate 27-Sep-2023 22:04 151 abbreviation 10-Oct-2023 16:35 153 abbreviation_extractor 15-Sep-2024 05:16 7770 abbreviator 09-Jan-2024 21:01 1911