From ab5b171524b3e127f7264f4910be1499be33628d Mon Sep 17 00:00:00 2001 From: Langston Barrett Date: Fri, 17 Aug 2018 09:01:22 -0700 Subject: [PATCH] apply patch from @sdwolfz re: formatting --- layers/+lang/coq/README.org | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/layers/+lang/coq/README.org b/layers/+lang/coq/README.org index ebb52618b..6f06a13af 100644 --- a/layers/+lang/coq/README.org +++ b/layers/+lang/coq/README.org @@ -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".