From 2c72bd2dfb906fd1353b24ded19f0dd31c775793 Mon Sep 17 00:00:00 2001 From: Jeremy Avigad Date: Thu, 5 May 2016 19:16:34 -0400 Subject: [PATCH] chore(README.md): add link to Emacs mode information. Closes #1046. --- README.md | 2 +- src/emacs/README.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9ff619cb2b..3ec4aca586 100644 --- a/README.md +++ b/README.md @@ -23,8 +23,8 @@ About - [Authors](http://leanprover.github.io/people/) - [Standard Library](library/library.md) - [HoTT Library](hott/hott.md) +- [Emacs Mode](src/emacs/README.md) - [Short Tutorial](doc/lean/tutorial.org) -- [To Do list](doc/todo.md) Requirements ------------ diff --git a/src/emacs/README.md b/src/emacs/README.md index 40e69a4e67..1c461faeaa 100644 --- a/src/emacs/README.md +++ b/src/emacs/README.md @@ -167,7 +167,7 @@ Key Bindings and Commands |C-c C-l | execute lean in stand-alone mode (lean-std-exe) | |C-c C-o | set option (lean-set-option) | |C-c C-r | restart lean process (lean-server-reset-process) | -|C-c C-e | lean-eval-cmd | +|C-c C-e | evaluate a lean comman (lean-eval-cmd) | |C-c ! n | flycheck: go to next error | |C-c ! p | flycheck: go to previous error | |C-c ! l | flycheck: show list of errors |