emacs-elpa-diffs
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[nongnu] elpa/proof-general c10e034d54 3/5: Update FAQ.md


From: ELPA Syncer
Subject: [nongnu] elpa/proof-general c10e034d54 3/5: Update FAQ.md
Date: Tue, 2 Jan 2024 10:01:25 -0500 (EST)

branch: elpa/proof-general
commit c10e034d54897c576ba7df5e8b396a065bdec77f
Author: Pietro Monticone <38562595+pitmonticone@users.noreply.github.com>
Commit: hendriktews <hendrik@askra.de>

    Update FAQ.md
---
 FAQ.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/FAQ.md b/FAQ.md
index 6fc9bae981..78bb22135b 100644
--- a/FAQ.md
+++ b/FAQ.md
@@ -127,7 +127,7 @@ A. This can happen if you enabled "Use Three Panes" and 
then change
    * In single window mode, `C-c C-l` (proof-layout-windows) refreshes
      the display
 
-   * In multiple window mode, if you have accidently deleted the main
+   * In multiple window mode, if you have accidentally deleted the main
      window, get a new one with `M-x new-frame RET`
 
 -----------------------------------------------------------------



reply via email to

[Prev in Thread] Current Thread [Next in Thread]