Is your feature request related to a problem? Please describe.
The project is a port of Twelf to OCaml, but as it is now called Stelf, there are still occurrences of the name "Twelf" throughout the codebase, documentation, and other files. This causes inconsistencies and may confuse users or developers.
Describe the solution you'd like
Change every instance of "Twelf" to "Stelf" throughout the entire repository, maintaining correct capitalization. This includes source code comments, documentation, TeX files, MDX files, and anywhere else. Ensure that replacements preserve intended formatting and that "Stelf" is used consistently.
Is your feature request related to a problem? Please describe.
The project is a port of Twelf to OCaml, but as it is now called Stelf, there are still occurrences of the name "Twelf" throughout the codebase, documentation, and other files. This causes inconsistencies and may confuse users or developers.
Describe the solution you'd like
Change every instance of "Twelf" to "Stelf" throughout the entire repository, maintaining correct capitalization. This includes source code comments, documentation, TeX files, MDX files, and anywhere else. Ensure that replacements preserve intended formatting and that "Stelf" is used consistently.