Update command-line help to include the EDITOR environment variable.

Fixes #743
GaloisInc · Feb 11, 2021 · 08bfdc8 · 08bfdc8
1 parent 3e0cf3e
commit 08bfdc8
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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"
             ]
           )
         ]