Simpl: adjust syntax modifiers to work with abbreviations (Edward Pierzchalski)
Description
Description
Details
Details
- Provenance
kleing Authored on - Parents
- rAFP069960f46fde: Word_Lib: remove duplicate lemma
- Branches
- Unknown
- Tags
Simpl: adjust syntax modifiers to work with abbreviations (Edward Pierzchalski) Tags None Subscribers None |