You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
15 lines
204 B
15 lines
204 B
[default.extend-words]
|
|
iddeal = "ideal"
|
|
iddeals = "ideals"
|
|
allpha = "alpha"
|
|
|
|
# strings that are not a typo:
|
|
thm = "thm"
|
|
|
|
# equations stuff
|
|
ba = "ba"
|
|
nd = "nd"
|
|
|
|
# names
|
|
Strang = "Strang"
|
|
Bootle = "Bootle"
|