small changes

This commit is contained in:
2025-02-17 15:03:40 +00:00
parent a01e555a78
commit e044db2c02
2 changed files with 20 additions and 11 deletions

View File

@@ -1,4 +1,4 @@
personal_ws-1.1 en 168
personal_ws-1.1 en 173
Architecting
Aryadev
Automorphism
@@ -113,6 +113,8 @@ isomorphisms
lexeme
lexemes
lexing
linter
linters
matchings
maximality
minibuffer
@@ -136,6 +138,7 @@ prepending
preprocesser
programmatically
prover
scalable
semisimple
strawman
subfield
@@ -150,6 +153,8 @@ subsequence
subsequences
substring
subtrees
subtype
subtypes
summative
supremum
surjection