Add two sentences to README.md explaining when Coqtail commands are l…

…oaded (#365)
whonore · Aug 23, 2024 · 7e37111 · 7e37111
1 parent ac6e91f
commit 7e37111
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -59,7 +59,10 @@ See [here](#coq-executable) for help with pointing Coqtail to the appropriate lo
 
 ## Usage
 
-Coqtail provides the following commands (see `:help coqtail` for more details):
+Coqtail provides the following commands and mappings, which are available in any
+buffer with the `coq` filetype (set automatically for files with a `.v`
+extension, or manually with `:setfiletype coq`).
+See `:help coqtail` for more details.
 
 | Command | Mapping | Description |
 |---|---|---|