../ gloss 12-Jan-2023 17:49 146 gloss-word 10-Sep-2023 16:45 21881 glossa 30-May-2023 22:45 13317 glossa-codegen 30-May-2023 22:45 7327 glossary 12-Jan-2023 17:49 752 glossy 12-Jan-2023 17:49 948 glossy_codegen 12-Jan-2023 17:49 925