We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Home (markdown)
Add a link to the Lean switch definitions wiki page
Add link to page for vim switches
add git rebase strings
add latex strings
Initial Home page