From 08bfdc8de1846b921fdc601cf779494ac36e9219 Mon Sep 17 00:00:00 2001
From: Rob Dockins <rdockins@galois.com>
Date: Thu, 11 Feb 2021 15:42:30 -0800
Subject: [PATCH] Update command-line help to include the EDITOR environment
 variable.

Fixes #743
---
 cryptol/Main.hs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/cryptol/Main.hs b/cryptol/Main.hs
index 56a120ff..3832cfb9 100644
--- a/cryptol/Main.hs
+++ b/cryptol/Main.hs
@@ -195,9 +195,15 @@ displayHelp errs = do
             , "addition to the default locations"
             ]
           )
+        , ( "EDITOR"
+          , [ "Sets the editor executable to use when opening an editor"
+            , "via the `:edit` command"
+            ]
+          )
         , ( "SBV_{ABC,BOOLECTOR,CVC4,MATHSAT,YICES,Z3}_OPTIONS"
           , [ "A string of command-line arguments to be passed to the"
             , "corresponding solver invoked for `:sat` and `:prove`"
+            , "when using a prover via SBV"
             ]
           )
         ]