michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(README.md): add link to Emacs mode information. Closes #1046.

Browse source
This commit is contained in:
Jeremy Avigad 2016-05-05 19:16:34 -04:00 committed by Leonardo de Moura
parent d773302c6b
commit ef95a04d21
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -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
------------

2
src/emacs/README.md
View file

@ -173,7 +173,7 @@ Key Bindings and Commands
|<kbd>C-c C-l</kbd> | execute lean in stand-alone mode (lean-std-exe) |
|<kbd>C-c C-o</kbd> | set option (lean-set-option) |
|<kbd>C-c C-r</kbd> | restart lean process (lean-server-reset-process) |
|<kbd>C-c C-e</kbd> | lean-eval-cmd |
|<kbd>C-c C-e</kbd> | evaluate a lean comman (lean-eval-cmd) |
|<kbd>C-c ! n</kbd> | flycheck: go to next error |
|<kbd>C-c ! p</kbd> | flycheck: go to previous error |
|<kbd>C-c ! l</kbd> | flycheck: show list of errors |