TakeV
/
spacemacs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

apply patch from @sdwolfz re: formatting

This commit is contained in:
Langston Barrett 2018-08-17 09:01:22 -07:00 committed by Codruț Constantin Gușoi
parent 8fcf41cd54
commit ab5b171524
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
layers/+lang/coq/README.org
View File

@ -73,11 +73,11 @@ font, or disable the feature by adding the following snippet to the your
** Getting documentation
| Key Binding | Description |
|-------------+-----------------------------------------------------------------|
| ~SPC m h h~ | Show documentation for whatever is below the cursor |
| ~SPC m h e~ | Show documentation for the error in the `*response*` buffer |
| ~SPC m h E~ | Browse all available documentation for errors |
| Key Binding | Description |
|-------------+-------------------------------------------------------------|
| ~SPC m h h~ | Show documentation for whatever is below the cursor |
| ~SPC m h e~ | Show documentation for the error in the `*response*` buffer |
| ~SPC m h E~ | Browse all available documentation for errors |
** Prover queries
The mnemonic for =a= is "ask".